<div class="csl-bib-body">
<div class="csl-entry">Hajdu, M., Hozzová, P., Kovács, L., Reger, G., & Voronkov, A. (2022). Getting Saturated with Induction. In J.-F. Raskin, K. Chatterjee, L. Doyen, & R. Majumdar (Eds.), <i>Principles of Systems Design</i> (Vol. 13660, pp. 306–322). Springer Cham. https://doi.org/10.1007/978-3-031-22337-2_15</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/152197
-
dc.language.iso
en
-
dc.subject
Induction
en
dc.subject
Automated reasoning
en
dc.subject
Theorem proving
en
dc.title
Getting Saturated with Induction
en
dc.type
Book Contribution
en
dc.type
Buchbeitrag
de
dc.contributor.affiliation
University of Manchester, UK
-
dc.contributor.affiliation
University of Manchester
-
dc.contributor.editoraffiliation
Centre National de la Recherche Scientifique
-
dc.relation.isbn
978-3-031-22337-2
-
dc.relation.doi
10.1007/978-3-031-22337-2
-
dc.relation.issn
1611-3349
-
dc.description.startpage
306
-
dc.description.endpage
322
-
dc.type.category
Edited Volume Contribution
-
tuw.booktitle
Principles of Systems Design
-
tuw.container.volume
13660
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer Cham
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.1007/978-3-031-22337-2_15
-
dc.description.numberOfPages
17
-
tuw.author.orcid
0000-0002-8273-2613
-
tuw.author.orcid
0000-0003-0845-5811
-
tuw.author.orcid
0000-0002-8299-2714
-
tuw.author.orcid
0000-0001-6353-952X
-
tuw.editor.orcid
0000-0003-3714-6145
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairetype
Book Contribution
-
item.openairetype
Buchbeitrag
-
item.languageiso639-1
en
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
