&

Δ

in: Terwijn S. A.
"On the quantitative structure of $\Delta$₂" (2001) 

λ

in: Beckmann A.
"Exact bounds for lengths of reductions in typed $\lambda$-calculus" (2001) 

 Österreichische

• in: Baaz M.
  "An Effective Decision Algorithm for Propositional Temporal Logic" (1989)
• in: Baaz M.
  "Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987)

 2nd

in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1992) 

 of

in: Baaz M. and Veith H.
"An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule" (1999) 

 Report

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 Preining N.
  "Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $\omega$" (2004)
• in: Baaz M.
  "Kripke-Type Semantics for Da Costa's Paraconsistent Logic $C$_ω" (1986)
• in: Kuich W.
  "Automata and languages generalized to $\omega$-continuous semirings" (1991)

ÖBV&HPT

in: Baaz M. and Zach R.
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002) 

Öst

in: Baaz M. and Leitsch A.
"Die Anwendung starker Reduktionsregeln in automatischen Beweisen" (1985) 

Österreich

in: Hlawka E. and Kuich W.
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965) 

Österreichische

in: Baaz M. and Leitsch A.
"Eine Methode zur automatischen Problemreduktion" (1985) 

özgüc B.

in: Baaz M., Kastner F. and Quirchmayr G.
"A Formal Model of Managerial Decision Making" (1991) 

Über

in: Baaz M.
"Über den allgemeinen Gehalt von Beweisen" (1988) 

Üniversitesi

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

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)