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/202188
-
Title:
Herbrand's Theorem in Inductive Proofs
en
Citation:
Leitsch, A., & Lolic, A. (2024). Herbrand’s Theorem in Inductive Proofs. In
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
(pp. 295–310). EasyChair. https://doi.org/10.29007/dwdf
-
Publisher DOI:
10.29007/dwdf
-
Publication Type:
Inproceedings - Full-Paper Contribution
en
Language:
English
-
Authors:
Leitsch, Alexander
Lolic, Anela
-
Organisational Unit:
E192-05 - Forschungsbereich Theory and Logic
-
Published in:
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
-
Volume:
100
-
Date (published):
2024
-
Event name:
25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024)
en
Event date:
26-May-2024 - 31-May-2024
-
Event place:
Mauritius
-
Number of Pages:
16
-
Publisher:
EasyChair
-
Peer reviewed:
Yes
-
Keywords:
inductive proofs; Herbrand sequents; scheamtic proofs
en
Project title:
Beweisanalyse und autom. Deduktion für rekursive Strukturen: I 5848-N (FWF - Österr. Wissenschaftsfonds)
-
Research Areas:
Computer Science Foundations: 100%
-
Science Branch:
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper
Show full item record
Page view(s)
8
checked on Oct 17, 2024
Download(s)
2
checked on Oct 17, 2024
Google Scholar
TM
Check