|
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 OCC1Ng=. [Citation Graph (0, 0)][DBLP] 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.003secs, Finished in 0.303secs
|