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/86112
-
Titel: 
Proof theory meets semantics: the case of substructural logics
-
Zitat: 
Ciabattoni, A. (2015). Proof theory meets semantics: the case of substructural logics. Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2015), Denton, Texas, Non-EU. http://hdl.handle.net/20.500.12708/86112
-
Publikationstyp: 
Präsentation - Keynote-Präsentation
de
Autor_innen: 
Ciabattoni, Agata 
-
Organisations­einheit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Datum (veröffentlicht): 
2015
-
Veranstaltungs­name: 
Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2015) 
-
Veranstaltungs­zeitraum: 
8-Jun-2015 - 12-Jun-2015
-
Veranstaltungs­ort: 
Denton, Texas, Außerhalb der EU
-
Wissenschafts­zweig: 
Informatik
-
Enthalten in den Sammlungen:
Presentation

Zur Langanzeige

Seiten Aufrufe

100
aufgerufen am 23.11.2023

Google ScholarTM

Check