Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/202188
-
Titel: 
Herbrand's Theorem in Inductive Proofs
en
Zitat: 
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
-
Verlags-DOI: 
10.29007/dwdf
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Leitsch, Alexander 
Lolic, Anela 
-
Organisations­einheit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Erschienen in: 
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning 
-
Band: 
100
-
Datum (veröffentlicht): 
2024
-
Veranstaltungs­name: 
25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024) 
en
Veranstaltungs­zeitraum: 
26-Mai-2024 - 31-Mai-2024
-
Veranstaltungs­ort: 
Mauritius
-
Umfang: 
16
-
Verlag: 
EasyChair
-
Peer Reviewed: 
Ja
-
Keywords: 
inductive proofs; Herbrand sequents; scheamtic proofs
en
Projekttitel: 
Beweisanalyse und autom. Deduktion für rekursive Strukturen: I 5848-N (FWF - Österr. Wissenschaftsfonds) 
-
Forschungs­schwerpunkte: 
Computer Science Foundations: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

83
aufgerufen am 17.10.2024

Download(s)

3
aufgerufen am 17.10.2024

Google ScholarTM

Check