Record link: 
http://hdl.handle.net/20.500.12708/199514
-
Title: 
Induction in Saturation
en
Citation: 
Kovács, L., Hozzová, P., Hajdu, M., & Voronkov, A. (2024). Induction in Saturation. In Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (pp. 21–29). Springer. https://doi.org/10.1007/978-3-031-63498-7_2
-
Publisher DOI: 
10.1007/978-3-031-63498-7_2
-
Publication Type: 
Inproceedings - Keynote Contribution
en
Language: 
English
-
Authors: 
Kovács, Laura 
Hozzová, Petra 
Hajdu, Márton 
Voronkov, Andrei 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Published in: 
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I 
-
ISBN: 
978-3-031-63498-7
-
Volume: 
14739
-
DOI of the book: 
10.1007/978-3-031-63498-7
-
Date (published): 
2024
-
Event name: 
12th International Joint Conference on Automated Reasoning (IJCAR 2024) 
en
Event date: 
3-Jul-2024 - 6-Jul-2024
-
Event place: 
France
-
Number of Pages: 
9
-
Publisher: 
Springer
-
Peer reviewed: 
Yes
-
Keywords: 
induction; automated reasoning; first-order theorem proving
en
Project title: 
Automated Reasoning with Theories and Induction for Software Technologies: ERC Consolidator Grant 2020 (European Commission) 
Effective Formal Methods for Smart-Contract Certification: ICT22-007 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design: F 8500 (FWF - Österr. Wissenschaftsfonds) 
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

12
checked on Aug 8, 2024

Download(s)

1
checked on Aug 8, 2024

Google ScholarTM

Check