Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christian G. Fermüller" ( http://dblp.L3S.de/Authors/Christian_G._Fermüller )

URL (Homepage):  http://www.logic.at/staff/chrisf/  Author page on DBLP  Author page in RDF  Community of Christian G. Fermüller in ASPL-2

Publication years (Num. hits)
1990-1995 (15) 1996-2000 (16) 2001-2006 (16) 2007-2012 (10)
Publication types (Num. hits)
article(13) book(1) incollection(2) inproceedings(38) phdthesis(1) proceedings(2)
Venues (Conferences, Journals, ...)
LPAR(11) TABLEAUX(8) ISMVL(5) CADE(4) CSL(3) J. Log. Comput.(3) Studia Logica(3) Bulletin of the EATCS(2) EUSFLAT Conf.(2) Handbook of Automated Reasonin...(2) Artif. Intell.(1) Elektronische Informationsvera...(1) FSTTCS(1) FTP (LNCS Selection)(1) J. Symb. Comput.(1) JELIA(1) More (+10 of total 22)
Authors
Christian G. Fermüller(57) Matthias Baaz(28) Agata Ciabattoni(11) Richard Zach(8) Alexander Leitsch(6) Gernot Salzer(4) Helmut Veith(3) Reinhard Pichler(3) Georg Moser(2) George Metcalfe(2) Tanel Tammet(2) Uwe Egly(2) Andrei Voronkov(1) Arie Ovrutcki(1) Georg Gottlob(1) Hantao Zhang(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 9 keywords
Results
Found 57 publication records. Showing 57 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Andrei Voronkov (eds.) Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller A Resolution Mechanism for Prenex Gödel Logic. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, George Metcalfe Giles's Game and the Proof Theory of Lukasiewicz Logic. Search on Bibsonomy Studia Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF hypersequents, many-valued logics, dialogue games, ?ukasiewicz logic
1Christian G. Fermüller Dialogue Games for Many-Valued Logics - an Overview. Search on Bibsonomy Studia Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hypersequents, fuzzy logic, many-valued logic, dialogue games
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Reinhard Pichler Model Representation over Finite and Infinite Signatures. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller Exploring Dialogue Games as Foundation of Fuzzy Logic. Search on Bibsonomy EUSFLAT Conf. The full citation details ... 2007 DBLP  BibTeX  RDF
1Christian G. Fermüller Fuzzy Logic and Theories of Vagueness. Search on Bibsonomy EUSFLAT Conf. The full citation details ... 2007 DBLP  BibTeX  RDF
1Christian G. Fermüller, Robert Kosik Combining Supervaluation and Degree Based Reasoning Under Vagueness. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Reinhard Pichler Model Representation over Finite and Infinite Signatures. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Reinhard Pichler Model Representation via Contexts and Implicit Generalizations. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Model computation, clause evaluation, model representation
1Agata Ciabattoni, Christian G. Fermüller, George Metcalfe Uniform Rules and Dialogue Games for Fuzzy Logics. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Hypersequent Calculi for Gödel Logics - a Survey. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller A Translation Characterizing the Constructive Content of Classical Theories. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Agata Ciabattoni From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. (PDF / PS) Search on Bibsonomy ISMVL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller Parallel Dialogue Games and Hypersequents for Intermediate Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Uwe Egly, Christian G. Fermüller (eds.) Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  BibTeX  RDF
1Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet Resolution Decision Procedures. Search on Bibsonomy Handbook of Automated Reasoning The full citation details ... 2001 DBLP  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Gernot Salzer Automated Deduction for Many-Valued Logics. Search on Bibsonomy Handbook of Automated Reasoning The full citation details ... 2001 DBLP  BibTeX  RDF
1Christian G. Fermüller, Georg Moser, Richard Zach Tableaux for Reasoning About Atomic Updates. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Christian G. Fermüller Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. Search on Bibsonomy ISMVL The full citation details ... 2001 DBLP  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. Search on Bibsonomy ISMVL The full citation details ... 2001 DBLP  BibTeX  RDF
1Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang Workshop: Model Computation - Principles, Algorithms, Applications. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Georg Moser Have Spass with OCC1Ng=. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Helmut Veith An Analytic Calculus for Quantified Propositional Gödel Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller Analytic Calculi for Projective Logics. Search on Bibsonomy TABLEAUX The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith On the Undecidability of some Sub-Classical First-Order Logics. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Alexander Leitsch Decision Procedures and Model Building in Equational Clause Logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach Labeled Calculi and Finite-Valued Logics. Search on Bibsonomy Studia Logica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Herbert Langsteiner Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller Implicational Completeness of Signed Resolution. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Uwe Egly, Christian G. Fermüller Lean Induction Principles for Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Alexander Leitsch Hyperresolution and Automated Model Building. Search on Bibsonomy J. Log. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller Semantic Trees Revisited: Some New Completeness Results. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach MUltlog 1.0: Towards an Expert System for Many-Valued Logics. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller Intuitionistic Counterparts of Finitely-Valued Logics. (PDF / PS) Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures
1Matthias Baaz, Christian G. Fermüller Combining Many-valued and Intuitionistic Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller Resolution-Based Theorem Proving for Manyvalued Logics. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller Non-elementary Speedups between Different Versions of Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Alexander Leitsch A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Richard Zach Elimination of Cuts in First-order Finite-valued Logics. Search on Bibsonomy Elektronische Informationsverarbeitung und Kybernetik The full citation details ... 1993 DBLP  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Richard Zach Dual systems of sequents and tableaux for many-valued logics. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 1993 DBLP  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Richard Zach Dual systems of sequents and tableaux for many-valued logics. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 1993 DBLP  BibTeX  RDF
1Georg Gottlob, Christian G. Fermüller Removing Redundancy from a Clause. Search on Bibsonomy Artif. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov Resolution Methods for the Decision Problem Search on Bibsonomy 1993   DOI  RDF
1Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach MULTILOG: A System for Axiomatizing Many-valued Logics. Search on Bibsonomy LPAR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Gernot Salzer Ordered Paramodulation and Resolution as Decision Procedure. Search on Bibsonomy LPAR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Richard Zach Systematic Construction of Natural Deduction Systems for Many-Valued Logics. Search on Bibsonomy ISMVL The full citation details ... 1993 DBLP  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller Resolution for Many-Valued Logics. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Alexander Leitsch Model Building by Resolution. Search on Bibsonomy CSL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller Deciding classes of clause sets by resolution. Search on Bibsonomy 1991   RDF
1Christian G. Fermüller A Resolution Variant Deciding some Classes of Clause Sets. Search on Bibsonomy CSL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #57 of 57 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.