Bibliography

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

&-0 1 2 3 4 5 6 7 8 9 A B C D E F G H I J K L M N O P Q R S T U V W Y Z

Z

Z

in: Kuich W.
"Quantitative Aspekte bei Ableitungsbäumen" (1980)

Zach R.

in: Baaz M., Preining N. and Zach R.
"On the classification of Gödel logics" (2004)
in: Baaz M., Preining N. and Zach R.
"Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics" (2003)
in: Baaz M. and Zach R.
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002)
in: Baaz M. and Zach R.
"Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic" (2000)
in: Baaz M., Ciabattoni A. and Zach R.
"Quantified propositional Gödel Logics" (2000)
in: Baaz M. and Zach R.
"Compact Propositional Gödel Logic" (1998)
in: Baaz M., Fermüller C. G., Salzer G. and Zach R.
"Labeled Calculi and Finite-valued Logics" (1998)
in: Baaz M. and Zach R.
"Note on Generalizing Theorems in Algebraically Closed Fields" (1998)
in: Baaz M., Leitsch A. and Zach R.
"Completeness of a First-order Temporal Logic with Time-Gaps" (1996)
in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-order Gödel Logic and Some Temporal Logics of Programs" (1996)
in: Baaz M., Fermüller C. G., Salzer G. and Zach R.
"MUltlog 1.0: Towards an Expert System for Many-valued Logics" (1996)
in: Baaz M. and Zach R.
"Generalizing Theorems in Real Closed Fields" (1995)
in: Baaz M. and Zach R.
"Generalizing theorems in real closed fields (Abstract)" (1995)
in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs" (1995)
in: Baaz M., Fermüller C. G. and Zach R.
"Proof theory of finite-valued logics (Abstract)" (1995)
in: Baaz M. and Zach R.
"Approximatig Propositional Calculi by Finite-valued Logics" (1994)
in: Baaz M., Fermüller C. G. and Zach R.
"Elimination of Cuts in First-order Finite-valued Logics" (1994)
in: Baaz M. and Zach R.
"Short Proofs of Tautologies Using the Schema of Equivalence" (1994)
in: Baaz M., Fermüller C. G., Quirchmayr G. and Zach R.
"A Many-Valued Logic for Default Reasoning" (1993)
in: Baaz M. and Zach R.
"Algorithmic Structuring of Cut-free Proofs" (1993)
in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1993)
in: Baaz M. and Zach R.
"First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version" (1993)
in: Baaz M., Fermüller C. G., Ovrutcki A. and Zach R.
"MULTLOG: A System for Axiomatizing Many-valued Logics" (1993)
in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1993)
in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report" (1993)
in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1992)
in: Baaz M. and Zach R.
"Introducing Atomic Cuts into Cut-free LK_B-Proofs" (1992)
in: Baaz M. and Zach R.
"Note on Calculi for a Three-Valued Logic for Logic Programming" (1992)
in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1992)

Zakharyaschev M.

in: Iemhoff R.
"A modal analysis of some principles of the Provability Logic of Heyting Arithmetic" (2001)

Zambella D.

in: Christensen J., Kanovei V., Terwijn S. A. and Zambella D.
"On the complexity of finitely additive measures" (1997)
in: Terwijn S. A. and Zambella D.
"Computational randomness and lowness" (2001)

Zeka

in: Baaz M. and Fermüller C. G.
"A Resolution principle for Quantificational $S5$ with an Application to Knowledge Representation" (1993)

Zheng X.

in: Ambos-spies K., Terwijn S. A. and Zheng X.
"Resource bounded randomness and weakly complete problems" (1997)
in: Ambos-spies K., Terwijn S. A. and Zheng X.
"Genericity and measure for exponential time" (1996)
in: Ambos-spies K., Terwijn S. A. and Zheng X.
"Resource bounded randomness and weakly complete problems" (1994)

Zur

in: Baaz M. and Leitsch A.
"Eine Methode zur automatischen Problemreduktion" (1985)
in: Baaz M. and Leitsch A.
"Eine Methode zur Reduktion des Syntheseproblems" (1984)
in: Kuich W.
"Zur Theorie algebraischer Systeme" (1981)

Zwischen