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/153837
-
Title:
Getting Saturated with Induction
en
Citation:
Kovacs, L. (2022, January 27).
Getting Saturated with Induction
[Conference Presentation]. Automated Reasoning Seminar at TU Kaiserslautern, Kaiserslautern, Germany.
-
Publication Type:
Presentation - Conference Presentation
en
Vortrag - Conference Presentation
de
Language:
English
-
Authors:
Kovacs, Laura
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Date (published):
27-Jan-2022
-
Event name:
Automated Reasoning Seminar at TU Kaiserslautern
en
Event date:
27-Jan-2022
-
Event place:
Kaiserslautern, Germany
-
Keywords:
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)
12
checked on Mar 30, 2023
Google Scholar
TM
Check