Forschungsbereich Computational Logic

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E104-02 - Forschungsbereich Computational Logic
 
Code Kennzahl
E104-02
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 1-20 of 22 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1San Mauro, Luca Francesco ; Cintioli, Patrizio ; Sorbi, Andrea Direzioni della logica in Italia: la teoria (classica) della ricorsivitáBuchbeitrag Book Contribution2018
2San Mauro, Luca Francesco ; Piazza, Mario ; Pulcini, Gabriele Church-Turing Thesis, in PracticeBuchbeitrag Book Contribution2018
3Kuich, Werner ; Esik, Zoltan Solving Fixed Point Equations over Complete SemiringsBuchbeitrag Book Contribution2017
4Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. Herbrand Confluence for First-Order Proofs with Π<sub>2</sub>-CutsBuchbeitrag Book Contribution2016
5Leigh, Graham E. Some Weak Theories of TruthBuchbeitrag Book Contribution2015
6Aleshnikov, S.. ; Boltnev, J. F. ; Esik, Zoltan ; Ishanov, S. ; Kuich, Werner Sovremennaya Teoriya AvtomatovBuch Book2013
7Cintula, Petr ; Fermüller, Christian ; Godo, Lluis ; Hajek, Petr Understanding Vagueness. Logical, Philosophical and Linguistic PerspectivesBuch Book 2011
8Baaz, Matthias ; Papadimitriou, Christos H. ; Putnam, Hilary W. ; Scott, Dana S. ; Harper Jr., Charles L. Kurt Gödel and the foundations of mathematics: Horizon of truthBuch Book2011
9Baaz, Matthias ; Leitsch, Alexander Methods of Cut-EliminationBuch Book2011
10Kuich, Werner ; Rahonis, G. Algebraic Foundations in Computer ScienceBuch Book2011
11Fermüller, Christian Comments on Vagueness in Language: The Case Against Fuzzy Logic Revisited by Uli SauerlandBuchbeitrag Book Contribution2011
12Fermüller, Christian ; Hajek, Petr A Conversation About Fuzzy Logic and VaguenessBuchbeitrag Book Contribution2011
13Avron, Arnon ; Zamansky, Anna Non-deterministic semantics for logical systemsBuchbeitrag Book Contribution2011
14Baaz, Matthias ; Leitsch, Alexander Fast cut-elimination by CERESBuchbeitrag Book Contribution 2010
15Leitsch, Alexander ; Baaz, Matthias Fast Cut-Elimination by CERESBuchbeitrag Book Contribution2010
16Droste, Manfred ; Kuich, Werner Semirings and formal power seriesBuchbeitrag Book Contribution2009
17Esik, Zoltan ; Kuich, Werner Finite automataBuchbeitrag Book Contribution2009
18Droste, Manfred ; Kuich, Werner ; Vogler, Heiko Handbook of weighted automataBuch Book2009
19Baaz, Matthias Recollections of a non-contradictory logicianBuchbeitrag Book Contribution 2009
20Aguzzoli, Stefano ; Ciabattoni, Agata ; Gerla, Brunella ; Manara, Corrado Algebraic and Proof-theoretic Aspects of Non-classical LogicsBuch Book2007