The SCEAS System
| |||||||

## Search the dblp DataBase
Christian G. Fermüller:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
**MUltlog 1.0: Towards an Expert System for Many-Valued Logics.**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:226-230 [Conf] - Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang
**Workshop: Model Computation - Principles, Algorithms, Applications.**[Citation Graph (0, 0)][DBLP] CADE, 2000, pp:513- [Conf] - Christian G. Fermüller, Reinhard Pichler
**Model Representation via Contexts and Implicit Generalizations.**[Citation Graph (0, 0)][DBLP] CADE, 2005, pp:409-423 [Conf] - Christian G. Fermüller
**Semantic Trees Revisited: Some New Completeness Results.**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:568-582 [Conf] - Christian G. Fermüller
**A Resolution Variant Deciding some Classes of Clause Sets.**[Citation Graph (0, 0)][DBLP] CSL, 1990, pp:128-144 [Conf] - Christian G. Fermüller, Alexander Leitsch
**Model Building by Resolution.**[Citation Graph (0, 0)][DBLP] CSL, 1992, pp:134-148 [Conf] - Matthias Baaz, Christian G. Fermüller
**A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity.**[Citation Graph (0, 0)][DBLP] Proof Theory in Computer Science, 2001, pp:38-48 [Conf] - Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
**On the Undecidability of some Sub-Classical First-Order Logics.**[Citation Graph (0, 0)][DBLP] FSTTCS, 1999, pp:258-268 [Conf] - Christian G. Fermüller
**Implicational Completeness of Signed Resolution.**[Citation Graph (0, 0)][DBLP] FTP (LNCS Selection), 1998, pp:167-174 [Conf] - Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
**Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic.**[Citation Graph (0, 0)][DBLP] ISMVL, 2001, pp:181-186 [Conf] - Matthias Baaz, Christian G. Fermüller
**Intuitionistic Counterparts of Finitely-Valued Logics.**[Citation Graph (0, 0)][DBLP] ISMVL, 1996, pp:136-0 [Conf] - Matthias Baaz, Christian G. Fermüller, Richard Zach
**Systematic Construction of Natural Deduction Systems for Many-Valued Logics.**[Citation Graph (0, 0)][DBLP] ISMVL, 1993, pp:208-213 [Conf] - Agata Ciabattoni, Christian G. Fermüller
**Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics.**[Citation Graph (0, 0)][DBLP] ISMVL, 2001, pp:227-232 [Conf] - Christian G. Fermüller, Agata Ciabattoni
**From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games.**[Citation Graph (0, 0)][DBLP] ISMVL, 2003, pp:188-0 [Conf] - Christian G. Fermüller, Reinhard Pichler
**Model Representation over Finite and Infinite Signatures.**[Citation Graph (0, 0)][DBLP] JELIA, 2006, pp:164-176 [Conf] - Matthias Baaz, Christian G. Fermüller, Alexander Leitsch
**A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation**[Citation Graph (0, 0)][DBLP] LICS, 1994, pp:213-219 [Conf] - Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
**Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving.**[Citation Graph (0, 0)][DBLP] LPAR, 2001, pp:201-215 [Conf] - Matthias Baaz, Christian G. Fermüller
**A Translation Characterizing the Constructive Content of Classical Theories.**[Citation Graph (0, 0)][DBLP] LPAR, 2003, pp:107-121 [Conf] - Matthias Baaz, Christian G. Fermüller
**Resolution for Many-Valued Logics.**[Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:107-118 [Conf] - Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach
**MULTILOG: A System for Axiomatizing Many-valued Logics.**[Citation Graph (0, 0)][DBLP] LPAR, 1993, pp:345-347 [Conf] - Agata Ciabattoni, Christian G. Fermüller, George Metcalfe
**Uniform Rules and Dialogue Games for Fuzzy Logics.**[Citation Graph (0, 0)][DBLP] LPAR, 2004, pp:496-510 [Conf] - Christian G. Fermüller, Robert Kosik
**Combining Supervaluation and Degree Based Reasoning Under Vagueness.**[Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:212-226 [Conf] - Christian G. Fermüller, Georg Moser
**Have Spass with OCC1N**[Citation Graph (0, 0)][DBLP]_{g}^{=}. LPAR, 2000, pp:114-130 [Conf] - Christian G. Fermüller, Georg Moser, Richard Zach
**Tableaux for Reasoning About Atomic Updates.**[Citation Graph (0, 0)][DBLP] LPAR, 2001, pp:639-653 [Conf] - Christian G. Fermüller, Gernot Salzer
**Ordered Paramodulation and Resolution as Decision Procedure.**[Citation Graph (0, 0)][DBLP] LPAR, 1993, pp:122-133 [Conf] - Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
**Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics.**[Citation Graph (0, 0)][DBLP] MFCS, 1998, pp:203-212 [Conf] - Matthias Baaz, Uwe Egly, Christian G. Fermüller
**Lean Induction Principles for Tableaux.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1997, pp:62-75 [Conf] - Matthias Baaz, Christian G. Fermüller
**Non-elementary Speedups between Different Versions of Tableaux.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1995, pp:217-230 [Conf] - Matthias Baaz, Christian G. Fermüller
**Combining Many-valued and Intuitionistic Tableaux.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1996, pp:65-79 [Conf] - Matthias Baaz, Christian G. Fermüller
**Analytic Calculi for Projective Logics.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1999, pp:36-50 [Conf] - Matthias Baaz, Christian G. Fermüller, Helmut Veith
**An Analytic Calculus for Quantified Propositional Gödel Logic.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2000, pp:112-126 [Conf] - Christian G. Fermüller
**Parallel Dialogue Games and Hypersequents for Intermediate Logics.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2003, pp:48-64 [Conf] - Christian G. Fermüller, Herbert Langsteiner
**Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1998, pp:156-171 [Conf] - Georg Gottlob, Christian G. Fermüller
**Removing Redundancy from a Clause.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 1993, v:61, n:2, pp:263-289 [Journal] - Matthias Baaz, Christian G. Fermüller, Richard Zach
**Dual systems of sequents and tableaux for many-valued logics.**[Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1993, v:51, n:, pp:192-197 [Journal] - Matthias Baaz, Christian G. Fermüller, Richard Zach
**Dual systems of sequents and tableaux for many-valued logics.**[Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1993, v:49, n:, pp:192-197 [Journal] - Matthias Baaz, Christian G. Fermüller, Richard Zach
**Elimination of Cuts in First-order Finite-valued Logics.**[Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1993, v:29, n:6, pp:333-355 [Journal] - Christian G. Fermüller, Alexander Leitsch
**Decision Procedures and Model Building in Equational Clause Logic.**[Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 1998, v:6, n:1, pp:17-41 [Journal] - Matthias Baaz, Christian G. Fermüller
**Resolution-Based Theorem Proving for Manyvalued Logics.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1995, v:19, n:4, pp:353-391 [Journal] - Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
**Hypersequent Calculi for Go"del Logics -- a Survey.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2003, v:13, n:6, pp:835-861 [Journal] - Christian G. Fermüller, Alexander Leitsch
**Hyperresolution and Automated Model Building.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 1996, v:6, n:2, pp:173-203 [Journal] - Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
**Labeled Calculi and Finite-Valued Logics.**[Citation Graph (0, 0)][DBLP] Studia Logica, 1998, v:61, n:1, pp:7-33 [Journal] - Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
**Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.**[Citation Graph (0, 0)][DBLP] LPAR, 2007, pp:77-91 [Conf] - Christian G. Fermüller, Reinhard Pichler
**Model Representation over Finite and Infinite Signatures.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2007, v:17, n:3, pp:453-477 [Journal] **A Resolution Mechanism for Prenex Gödel Logic.**[Citation Graph (, )][DBLP]**Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.**[Citation Graph (, )][DBLP]**Exploring Dialogue Games as Foundation of Fuzzy Logic.**[Citation Graph (, )][DBLP]**Fuzzy Logic and Theories of Vagueness.**[Citation Graph (, )][DBLP]
Search in 0.019secs, Finished in 0.020secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |