O

O

in: Kuich W.
"The complexity of skewlinear tuple languages and $o$-regular languages" (1971) 

Observables

in: Brunner N., Svozil K. and Baaz M.
"Effective quantum observables" (1995) 

OGAI-Journal

in: Baaz M. and Leitsch A.
"Extensionskalküle und Beweiskomplexität" (1998) 

Olivetti N.

in: Ciabattoni A., Gabbay D. and Olivetti N.
"Cut-free Proof Systems for Logics of Weak Excluded Middle" (1998) 

Onvural R.

in: Baaz M., Fermüller C. G., Quirchmayr G. and Zach R.
"A Many-Valued Logic for Default Reasoning" (1993) 

Ordered

in: Baaz M. and Preining N.
"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $\omega$" (2004) 

Ordinal

• in: Beckmann A.
  "Dynamic ordinal analysis" (2003)
• in: Beckmann A., Buss S. R. and Pollett C.
  "Ordinal Notations and Well-Orderings in Bounded Arithmetic" (2003)

Ordinals

in: Beckmann A.
"Dynamic ordinals -- universal measures for implicit computational complexity" (2002) 

Orlowska E.

in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Sequent of relations calculi: A framework for analytic deduction in many-valued logics" (2003) 

Ornaghi M.

in: Baaz M. and Fermüller C. G.
"Combining Many-valued and Intuitionistic Tableaux" (1996) 

Ovrutcki A.

in: Baaz M., Fermüller C. G., Ovrutcki A. and Zach R.
"MULTLOG: A System for Axiomatizing Many-valued Logics" (1993) 

Oxford

• in: Baaz M. and Pudlák P.
  "Kreisel's Conjecture for $L\exists$₁" (1993)
• in: Baaz M.
  "Note on the Existence of Most-general Semi-unifiers" (1993)

Submit a bug

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