The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard Zach: [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. Richard Zach
    Kurt Gödel and Computability Theory. [Citation Graph (0, 0)][DBLP]
    CiE, 2006, pp:575-583 [Conf]
  3. Matthias Baaz, Richard Zach
    Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:187-201 [Conf]
  4. Matthias Baaz, Richard Zach
    Algorithmic Structuring of Cut-free Proofs. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:29-42 [Conf]
  5. Matthias Baaz, Richard Zach
    Short Proofs of Tautologies Using the Schema of Equivalence. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:33-35 [Conf]
  6. Matthias Baaz, Alexander Leitsch, Richard Zach
    Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:1-15 [Conf]
  7. Georg Moser, Richard Zach
    The Epsilon Calculus (Tutorial). [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:455- [Conf]
  8. 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]
  9. Matthias Baaz, Norbert Preining, Richard Zach
    Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2003, pp:175-180 [Conf]
  10. Matthias Baaz, Norbert Preining, Richard Zach
    Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2006, pp:9- [Conf]
  11. Matthias Baaz, Richard Zach
    Approximating Propositional Calculi by Finite-Valued Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1994, pp:257-263 [Conf]
  12. Matthias Baaz, Richard Zach
    Compact Propositional Gödel Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1998, pp:108-113 [Conf]
  13. Matthias Baaz, Agata Ciabattoni, Richard Zach
    Quantified Propositional Gödel Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:240-256 [Conf]
  14. 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]
  15. 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]
  16. Matthias Baaz, Richard Zach
    Generalizing Theorems in Real Closed Fields. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:3-23 [Journal]
  17. Richard Zach
    Completeness before Post: Bernays, Hilbert, and the development of propositional logic. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1999, v:5, n:3, pp:331-366 [Journal]
  18. 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]
  19. 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]
  20. Matthias Baaz, Richard Zach
    Note on calculi for a three-valued logic for logic programming.. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1992, v:48, n:, pp:157-164 [Journal]
  21. 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]
  22. Petr Hájek, Richard Zach
    Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1994, v:4, n:2, pp:- [Journal]
  23. 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]
  24. Georg Moser, Richard Zach
    The Epsilon Calculus and Herbrand Complexity. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:133-155 [Journal]
  25. Matthias Baaz, Alexander Leitsch, Richard Zach
    Completeness of a First-Order Temporal Logic with Time-Gaps. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:160, n:1&2, pp:241-270 [Journal]
  26. Matthias Baaz, Norbert Preining, Richard Zach
    First-order Gödel logics. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2007, v:147, n:1-2, pp:23-47 [Journal]

  27. Effective Finite-Valued Approximations of General Propositional Logics. [Citation Graph (, )][DBLP]


  28. Note on generalizing theorems in algebraically closed fields. [Citation Graph (, )][DBLP]


Search in 0.003secs, 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