- 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 Ciabattoni A.
"A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic" (2002) - in: Baaz M. and Zach R.
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002) - in: Baaz M., Ciabattoni A., Preining N. and Veith H.
"A Guide to Quantified Propositional Gödel Logic" (2001) - in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic" (2001) - in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving" (2001) - in: Baaz M., Fermüller C. G. and Veith H.
"An Analytic Calculus for Quantified Propositional Gödel Logic" (2000) - in: Baaz M., Ciabattoni A. and Zach R.
"Quantified propositional Gödel Logics" (2000) - in: Baaz M. and Veith H.
"An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule" (1999) - in: Baaz M. and Zach R.
"Compact Propositional Gödel Logic" (1998) - 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.
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996) - in: Baaz M.
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996) - in: Baaz M.
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996) - 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. and Leitsch A.
"Methods of Functional Extensions" (1995) - in: Baaz M.
"Automatisches Beweisen für endlichwertige Logiken" (1989) - in: Baaz M. and Quirchmayr G.
"Juridische Schlüsse und mehrwertige Logik" (1988) - in: Baaz M.
"Gödel's Justification of His Completeness Theorem" (1983) - in: Preining N.
"Complete Recursive Axiomatizability of Gödel Logics" (2003) - in: Preining N.
"Gödel logics and Cantor-Bendixon Analysis" (2002) - in: Preining N.
"Sketch-as-Proof" (1997)
"From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003)
- in: Baaz M.
"Automatisches Beweisen für endlichwertige Logiken" (1989) - in: Baaz M. and Quirchmayr G.
"Juridische Schlüsse und mehrwertige Logik" (1988)
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002)
"A Many-Valued Logic for Default Reasoning" (1993)
"Cut-free Proof Systems for Logics of Weak Excluded Middle" (1998)
"The Application of Kripke-Type Structures to Regional Development Processes" (1993)
"Lean Induction Principles for Tableaux" (1997)
"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003)
"From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003)
"Gaussian elimination and a characterization of algebraic power series" (1998)
"Über den allgemeinen Gehalt von Beweisen" (1988)
"A Many-Valued Logic for Default Reasoning" (1993)
- in: Baaz M.
"Über den allgemeinen Gehalt von Beweisen" (1988) - in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991) - in: Kuich W.
"Polynomalgebren, algebraische Systeme und Kellerautomaten" (1988)
"On a generalisation of Herbrand's theorm" (2001)
- in: Baaz M.
"Note on Generalization of Calculations" (1999) - in: Baaz M.
"Generalization of Proofs and Term Complexity" (1994) - in: Honkala J. and Kuich W.
"On a power series generalization of ETL languages" (1996)
- in: Baaz M. and Moser G.
"On generalizations of semi-terms of particularly simple form" (2002) - in: Baaz M. and Salzer G.
"Semi-Unification and Generalizations of a Particularly Simple Form" (1995)
- in: Kuich W.
"Generalized Lindenmayerian algebraic systems" (1997) - in: Kuich W.
"Automata and languages generalized to -continuous semirings" (1991)
- in: Ambos-spies K., Neis H. and Terwijn S. A.
"Genericity and measure for exponential time" (1996) - in: Ambos-spies K., Terwijn S. A. and Zheng X.
"Genericity and measure for exponential time" (1996)
- in: Preining N.
"Proof theory and proof systems for projective and affine geometry" (2002) - in: Preining N.
"Sketch-as-proof, a proof-theoretic analysis of axiomatic projective geometry" (1996)
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965)
"Automatisches Beweisen für endlichwertige Logiken" (1992)
"MUltlog and MUltseq Reanimated and Married" (2003)
"A Proof-theoretical Investigation of Global Intuitionistic (Fuzzy) Logic" (2004)
"T-norm based logics with -contraction" (2002)
"Sketch-as-Proof" (1997)
- in: Baron G. and Kuich W.
"The characterization of nonexpansive grammars by rational power series" (1981) - in: Kuich W.
"On the multiplicity equivalence problem for context-free grammars" (1994) - in: Kuich W.
"The characterization of parallel ultralinear grammars by rational power series" (1981) - in: Kuich W.
"Systems of pushdown acceptors and context-free grammars" (1970)
- in: Stephan F. and Terwijn S. A.
"Counting extensional differences in BC-learning" (2000) - in: Terwijn S. A.
"On the Learnability of Hidden Markov Models" (2002)
"Sketch-as-Proof" (1997)
- in: Kuich W.
"On the multiplicity equivalence problem for context-free grammars" (1994) - in: Kuich W., Prodinger H. and Urbanek F. J.
"On the height of derivation trees" (1979)
"A Guide to Quantified Propositional Gödel Logic" (2001)
"Short Proofs of Tautologies Using the Schema of Equivalence" (1994)
