Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/153940
-
Title:
First-Order Theorem Proving and Vampire
en
Citation:
Kovacs, L. (2022, December 6).
First-Order Theorem Proving and Vampire
[Keynote Presentation]. 7th School of Theoretical Computer Science and Formal Methods (ETMF), online, Brazil.
-
Publication Type:
Presentation - Keynote Presentation
en
Vortrag - Keynote Presentation
de
Language:
English
-
Authors:
Kovacs, Laura
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Date (published):
6-Dec-2022
-
Event name:
7th School of Theoretical Computer Science and Formal Methods (ETMF)
en
Event date:
6-Dec-2022
-
Event place:
online, Brazil
-
Keywords:
theorem proving; formal methods; automated reasoning
en
Project title:
Automated Reasoning with Theories and Induction for Software Technologies
-
Project ID:
ERC Consolidator Grant 2020
-
Funder:
European Commission
-
Research Areas:
Computer Science Foundations: 100%
-
Science Branch:
1020 - Informatik: 100%
-
Appears in Collections:
Presentation
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
14
checked on Mar 19, 2023
Google Scholar
TM
Check