The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christian G. Fermüller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Christian G. Fermüller, Reinhard Pichler
    Model Representation via Contexts and Implicit Generalizations. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:409-423 [Conf]
  4. Christian G. Fermüller
    Semantic Trees Revisited: Some New Completeness Results. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:568-582 [Conf]
  5. Christian G. Fermüller
    A Resolution Variant Deciding some Classes of Clause Sets. [Citation Graph (0, 0)][DBLP]
    CSL, 1990, pp:128-144 [Conf]
  6. Christian G. Fermüller, Alexander Leitsch
    Model Building by Resolution. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:134-148 [Conf]
  7. 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]
  8. 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]
  9. Christian G. Fermüller
    Implicational Completeness of Signed Resolution. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:167-174 [Conf]
  10. 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]
  11. Matthias Baaz, Christian G. Fermüller
    Intuitionistic Counterparts of Finitely-Valued Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1996, pp:136-0 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. Christian G. Fermüller, Reinhard Pichler
    Model Representation over Finite and Infinite Signatures. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:164-176 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. Matthias Baaz, Christian G. Fermüller
    Resolution for Many-Valued Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:107-118 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. Christian G. Fermüller, Georg Moser
    Have Spass with OCC1Ng=. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:114-130 [Conf]
  24. 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]
  25. Christian G. Fermüller, Gernot Salzer
    Ordered Paramodulation and Resolution as Decision Procedure. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:122-133 [Conf]
  26. 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]
  27. Matthias Baaz, Uwe Egly, Christian G. Fermüller
    Lean Induction Principles for Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:62-75 [Conf]
  28. 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]
  29. Matthias Baaz, Christian G. Fermüller
    Combining Many-valued and Intuitionistic Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:65-79 [Conf]
  30. Matthias Baaz, Christian G. Fermüller
    Analytic Calculi for Projective Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:36-50 [Conf]
  31. 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]
  32. Christian G. Fermüller
    Parallel Dialogue Games and Hypersequents for Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:48-64 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]

  45. A Resolution Mechanism for Prenex Gödel Logic. [Citation Graph (, )][DBLP]


  46. Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. [Citation Graph (, )][DBLP]


  47. Exploring Dialogue Games as Foundation of Fuzzy Logic. [Citation Graph (, )][DBLP]


  48. Fuzzy Logic and Theories of Vagueness. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002