E-LIB Suche - Ergebnisse für: Marra, Vincenzo

Sorted by: Relevance

Sorted by: Year

Logic, Language, and Computation

9th International Tbilisi Symposium on Logic, Language, and... Lecture Notes in Computer Science ; 7758;SpringerLink, Bücher

Bezhanishvili, Guram ; Marra, Vincenzo ; Richter, Frank. , 2013

Link: https://doi.org/10.1007/..

Algebraic and proof-theoretic aspects of non-classical logi..

papers in honor of Daniele Mundici on the occasion of his 6... Lecture notes in computer science ; 4460, Lecture notes in artificial intelligence;Festschrift;FoLLI publications on logic, language and information

Aguzzoli, Stefano ; Mundici, Daniele ; Ciabattoni, Agata... , 2007

Link: http://dx.doi.org/10.100..

1-2