Richard Zach
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
1992–2006
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | CiE | Kurt Gdel and Computability Theory. | Richard Zach |
| 2003 | CSL | The Epsilon Calculus (Tutorial). | Georg Moser, Richard Zach |
| 2001 | LPAR | Tableaux for Reasoning About Atomic Updates. | Christian G. Fermller, Georg Moser, Richard Zach |
| 2000 | CSL | Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. | Matthias Baaz, Richard Zach |
| 2000 | LPAR | Quantified Propositional Gdel Logics. | Matthias Baaz, Agata Ciabattoni, Richard Zach |
| 1996 | CADE | MUltlog 1.0: Towards an Expert System for Many-Valued Logics. | Matthias Baaz, Christian G. Fermller, Gernot Salzer, Richard Zach |
| 1995 | CSL | Incompleteness of a First-Order Gdel Logic and Some Temporal Logics of Programs. | Matthias Baaz, Alexander Leitsch, Richard Zach |
| 1993 | CSL | Short Proofs of Tautologies Using the Schema of Equivalence. | Matthias Baaz, Richard Zach |
| 1993 | LPAR | MULTILOG: A System for Axiomatizing Many-valued Logics. | Matthias Baaz, Christian G. Fermller, Arie Ovrutcki, Richard Zach |
| 1992 | CSL | Algorithmic Structuring of Cut-free Proofs. | Matthias Baaz, Richard Zach |