"Kripke-Type Semantics for Da Costa's Paraconsistent Logic " (1986)
"Linear ramified higher type recursion and parallel complexity" (2001)
"Fast Cut-Elimination by Projection" (1997)
"Kripke-Type Semantics for Da Costa's Paraconsistent Logic " (1986)
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002)
"The Application of Kripke-Type Structures to Regional Development Processes" (1993)
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988)
"Strong Splitting Rules in Automated Theorem Proving" (1989)
- in: Baaz M., Kastner F. and Quirchmayr G.
"A Formal Model of Managerial Decision Making" (1991)
- in: Baaz M. and Quirchmayr G.
"A Logic Based Model of Legal Decision Making" (1990) - in: Baaz M.
"An Effective Decision Algorithm for Propositional Temporal Logic" (1989) - in: Baaz M. and Quirchmayr G.
"The Application of Multiple Valued Logic in Supporting Legal Decision Making" (1987)
"Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988)
"Sequent calculi for finite-valued Lukasiewicz logics via boolean decompositions" (2000)
- in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Sequent of relations calculi: A framework for analytic deduction in many-valued logics" (2003) - in: Baaz M.
"Proof Analysis by Resolution" (2002) - in: Baaz M.
"Proof Analysis by Resolution" (2002) - in: Baaz M., Ciabattoni A. and Fermüller C. G.
"A Natural Deduction System for Intuitionistic Fuzzy Logic" (2001) - in: Baaz M., Fermüller C. G. and Salzer G.
"Automated Deduction for Many-Valued Logics" (2001) - in: Baaz M., Leitsch A. and Moser G.
"System Description: CutRes 0.1: Cut Elimination by Resolution" (1999) - in: Baaz M., Egly U. and Leitsch A.
"Extension Methods in Automated Deduction" (1998) - in: Baaz M., Egly U. and Leitsch A.
"Extension Methods in Automated Deduction" (1998) - 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., 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.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1992) - in: Baaz M. and Quirchmayr G.
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988)
"A Many-Valued Logic for Default Reasoning" (1993)
"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003)
"Complexity and randomness"
"Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993)
"Logik des Juridischen Schließens" (2001)
"Cones and abstract families of elements" (1997)
"Über den allgemeinen Gehalt von Beweisen" (1988)
"Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987)
"Height restricted constant depth LK" (2003)
- in: Baaz M.
"Logik des Juridischen Schließens" (2001) - in: Baaz M., Brunner N. and Svozil K.
"Interpretations of Combinatory Algebras" (1993) - 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.
"Die Anwendung der Methode der Sequenzialkalküle auf nichtklassische Logiken" (1984) - in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991)
- in: Kuich W.
"Generating functions for derivation trees" (1980) - in: Kuich W., Prodinger H. and Urbanek F. J.
"On the height of derivation trees" (1979)
- in: Baaz M.
"Logik des Juridischen Schließens" (2001) - in: Baaz M., Brunner N. and Svozil K.
"Interpretations of Combinatory Algebras" (1993) - in: Baaz M. and Leitsch A.
"Eine Methode zur Reduktion des Syntheseproblems" (1984)
"System Description: CutRes 0.1: Cut Elimination by Resolution" (1999)
"The Application of Kripke-Type Structures to Regional Development Processes" (1993)
- in: Baaz M., Galindo F., Quirchmayr G. and Vázqez M.
"The Application of Kripke-Type Structures to Regional Development Processes" (1993) - in: Baaz M. and Quirchmayr G.
"A Formal Model for the Support of Analogical Reasoning in Legal Expert Systems" (1991)
"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)
- in: Baaz M. and Leitsch A.
"Die Anwendung starker Reduktionsregeln in automatischen Beweisen" (1985) - in: Baaz M.
"Die Anwendung der Methode der Sequenzialkalküle auf nichtklassische Logiken" (1984)
- in: Jain S., Stephan F. and Terwijn S. A.
"Counting extensional differences in BC-learning" - in: Stephan F. and Terwijn S. A.
"Counting extensional differences in BC-learning" (2000)
"Non-elementary Speedups between Different Versions of Tableaux" (1995)
"The arithmetical complexity of dimension and randomness" (2003)
"Herbrand Disjunctions and Extraction of Proofs from Sketches" (2004)
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965)
"Computably enumerable reals and uniformly presentable ideals" (2002)
"Quantitative Aspekte bei Ableitungsbäumen" (1980)
- in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1993) - in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1992)
"An Analytic Calculus for Quantified Propositional Gödel Logic" (2000)
- in: Beckmann A.
"Dynamic ordinal analysis" (2003) - in: Beckmann A.
"Dynamic ordinals -- universal measures for implicit computational complexity" (2002)
