Hinweis
Dieser Eintrag wurde automatisch aus einem Altsystem migriert. Die Daten wurden nicht überprüft und entsprechen eventuell nicht den Qualitätskriterien des vorliegenden Systems.
Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/138674
-
Titel: 
A non-hyperarithmetical Gödel logic.
-
Zitat: 
Aguilera, J. P., Bydzovsky, J., & Fernández-Duque, D. (2022). A non-hyperarithmetical Gödel logic. In Logical Foundations of Computer Science  International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings (pp. 1–8). Springer. https://doi.org/10.1007/978-3-030-93100-1_1
-
Verlags-DOI: 
10.1007/978-3-030-93100-1_1
-
Publikationstyp: 
Beitrag in Tagungsband - Full-Paper Contribution
de
Autor_innen: 
Aguilera, Juan Pablo 
Bydzovsky, Jan 
Fernández-Duque, David 
-
Organisations­einheit: 
E104-02 - Forschungsbereich Computational Logic 
-
Erschienen in: 
Logical Foundations of Computer Science International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings 
-
Datum (veröffentlicht): 
2022
-
Veranstaltungs­name: 
Logical Foundations of Computer Science International Symposium, LFCS 2022 
-
Veranstaltungs­zeitraum: 
10-Jan-2022 - 13-Jan-2022
-
Veranstaltungs­ort: 
Deerfield Beach, Vereinigte Staaten von Amerika
-
Umfang: 
8
-
Verlag: 
Springer, Cham
-
Peer Reviewed: 
Ja
-
Forschungs­schwerpunkte: 
außerhalb der gesamtuniversitären Forschungsschwerpunkte: 100%
-
Wissenschafts­zweig: 
Mathematik
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

75
aufgerufen am 01.12.2023

Google ScholarTM

Check