dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Christian G. Fermüller (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Baaz, Christian G. Fermüller, Gernot Salzer: Automated Deduction for Many-Valued Logics. Handbook of Automated Reasoning 2001: 1355-1402
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach: Labeled Calculi and Finite-Valued Logics. Studia Logica 61(1): 7-33 (1998)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach: MUltlog 1.0: Towards an Expert System for Many-Valued Logics. CADE 1996: 226-230
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian G. Fermüller, Gernot Salzer: Ordered Paramodulation and Resolution as Decision Procedure. LPAR 1993: 122-133

Selection of 4 from 58 records - Christian G. Fermüller has 22 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page