Bibliography

Overview

Tree

Index

Bibliography

PREV NEXT

FRAMES NO FRAME

&-0 1 2 3 4 5 6 7 8 9 A B C D E F G H I J K L M N O P Q R S T U V W Y Z

1

1

in: Baaz M., Leitsch A. and Moser G.
"System Description: CutRes 0.1: Cut Elimination by Resolution" (1999)
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. and Pudlák P.
"Kreisel's Conjecture for $L∃$ ₁" (1993)
in: Kuich W.
"Semirings and formal power series: their relevance to formal languages and automata" (1997)

10th

in: Baaz M. and Leitsch A.
"Fast Cut-Elimination by Projection" (1997)
in: Baaz M., Fermüller C. G. and Salzer G.
"Systematic Construction of Calculi for Finite-Valued First-Order Logics" (1995)
in: Baaz M. and Quirchmayr G.
"A Logic Based Model of Legal Decision Making" (1990)

13th

in: Baaz M., Fermüller C. G., Salzer G. and Zach R.
"MUltlog 1.0: Towards an Expert System for Many-valued Logics" (1996)

15

in: Baaz M., Brunner N. and Svozil K.
"Interpretations of Combinatory Algebras" (1993)

16th

in: Baaz M., Leitsch A. and Moser G.
"System Description: CutRes 0.1: Cut Elimination by Resolution" (1999)
in: Beckmann A.
"Resolution refutations and propositional proofs with height-restriction" (2002)

17th

in: Baaz M. and Quirchmayr G.
"The Application of Multiple Valued Logic in Supporting Legal Decision Making" (1987)
in: Hitchcock J. M., Lutz J. H. and Terwijn S. A.
"The arithmetical complexity of dimension and randomness" (2003)

185

in: Preining N.
"Proof theory and proof systems for projective and affine geometry" (2002)

18th

in: Baaz M.
"Proof Analysis by Resolution" (2002)

1979

in: Kuich W., Prodinger H. and Urbanek F. J.
"On the height of derivation trees" (1979)

1987

in: Kuich W.
"The Kleene and the Parikh theorem in complete semirings" (1987)

1988

in: Baaz M. and Quirchmayr G.
"Juridische Schlüsse und mehrwertige Logik" (1988)

1989

in: Baaz M.
"Automatisches Beweisen für endlichwertige Logiken" (1989)

1990

in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991)

1994

in: Ambos-spies K., Terwijn S. A. and Zheng X.
"Resource bounded randomness and weakly complete problems" (1994)
in: Kuich W.
"On the multiplicity equivalence problem for context-free grammars" (1994)

1995

in: Kuich W.
"The algebraic equivalent of AFL theory" (1995)

1997

in: Karner G. and Kuich W.
"A characterization of abstract families of algebraic power series" (1997)
in: Stephan F. C. and Terwijn S. A.
"The complexity of universal text-learners" (1997)

1998

in: Baaz M. and Veith H.
"An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule" (1999)
in: Baaz M. and Leitsch A.
"Extensionskalküle und Beweiskomplexität" (1998)
in: Kuich W.
"Gaussian elimination and a characterization of algebraic power series" (1998)

1999

in: Terwijn S. A.
"On the quantitative structure of $Δ$ ₂" (2001)
in: Terwijn S. A.
"Extensional set learning" (1999)