"On four classes of Lindenmayerian power series" (1995)
"The characterization of parallel ultralinear grammars by rational power series" (1981)
- in: Baaz M. and Zach R.
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002)
- in: Baaz M. and Zach R.
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002) - in: Baaz M.
"Logik des Juridischen Schließens" (2001) - in: Baaz M. and Leitsch A.
"Extensionskalküle und Beweiskomplexität" (1998) - in: Baaz M. and Leitsch A.
"Extensionskalküle und Beweiskomplexität" (1998) - in: Baaz M. and Quirchmayr G.
"Juridische Schlüsse und mehrwertige Logik" (1988) - in: Hlawka E. and Kuich W.
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965) - in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991) - in: Kuich W.
"Polynomalgebren, algebraische Systeme und Kellerautomaten" (1988)
"On the Undecidability of Some Sub-classical First-order Logics" (1999)
"Hypersequents as a uniform framework for Urquhart's C, MTL and related logics" (2001)
"Computably enumerable reals and uniformly presentable ideals" (2002)
"Quantitative Aspekte bei Ableitungsbäumen" (1980)
- in: Beckmann A.
"A note on universal measures for weak implicit computational complexity" (2002) - in: Beckmann A.
"Dynamic ordinals -- universal measures for implicit computational complexity" (2002) - in: Stephan F. and Terwijn S. A.
"The complexity of universal text-learners" (1999) - in: Stephan F. C. and Terwijn S. A.
"The complexity of universal text-learners" (1997)
- 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 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. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report" (1993) - in: Baaz M. and Zach R.
"Introducing Atomic Cuts into Cut-free -Proofs" (1992) - in: Baaz M.
"Logical Calculi Applied to Problems in Computer Science" (1992) - in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1992) - in: Baaz M.
"Die Anwendung der Methode der Sequenzialkalküle auf nichtklassische Logiken" (1984) - in: Baaz M.
"The Application of Sequent Calculi to Non-Classical Logics" (1984)
- in: Baaz M., Fermüller C. G., Gil A. J., Preining N. and Salzer G.
"MUltlog and MUltseq Reanimated and Married" (2003) - in: Baaz M. and Pudlák P.
"Kreisel's Conjecture for " (1993) - in: Baaz M.
"Note on the Existence of Most-general Semi-unifiers" (1993) - in: Baaz M.
"Automated Theorem Proving for Many-valued Logics (Algorithms)" (1990) - in: Baaz M.
"Automated Theorem Proving for Many-valued Logics (Theory)" (1990) - in: Iemhoff R.
"Provability Logic and Admissible Rules" (2001) - in: Preining N.
"Complete Recursive Axiomatizability of Gödel Logics" (2003) - in: Preining N.
"Sketch-as-proof, a proof-theoretic analysis of axiomatic projective geometry" (1996)
"On the height of derivation trees" (1979)
- in: Baaz M., Ciabattoni A., Fermüller C. G. and Veith H.
"Proof theory of fuzzy logic:Urquhart's C and related logics" (1998) - in: Ciabattoni A. and Fermüller C.
"Hypersequents as a uniform framework for Urquhart's C, MTL and related logics" (2001) - in: Ciabattoni A.
"On Urquhart's C logic" (2000)
