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

K

Können

in: Baaz M.
"Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987)

Kahle R.

in: Baaz M. and Fermüller C. G.
"A Note on the Proof-Theoretic Strength of a single application of the Schema of Identity" (2001)
in: Baaz M. and Leitsch A.
"Comparing the Complexity of Cut-Elimination Methods" (2001)

Kanovei V.

in: Christensen J., Kanovei V., Terwijn S. A. and Zambella D.
"On the complexity of finitely additive measures" (1997)

Karagiannis D.

in: Baaz M. and Quirchmayr G.
"A Formal Model for the Support of Analogical Reasoning in Legal Expert Systems" (1991)

Karlsruhe

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

Karner G.

in: Karner G. and Kuich W.
"A characterization of abstract families of algebraic power series" (1997)

Kastner F.

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

Kellerautomaten

in: Kuich W.
"Polynomalgebren, algebraische Systeme und Kellerautomaten" (1988)

Kelsen-Schule

in: Baaz M.
"Logik des Juridischen Schließens" (2001)

KGC

in: Preining N.
"Sketch-as-Proof" (1997)

KI94

in: Baaz M. and Hörwein K.
"A New Frame for Common-Sense Reasoning---Towards Local Inconsistencies" (1994)

Kl

in: Baaz M. and Leitsch A.
"Die Anwendung starker Reduktionsregeln in automatischen Beweisen" (1985)
in: Hlawka E. and Kuich W.
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965)

Kleene

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

Kleine Büning H.

in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-order Gödel Logic and Some Temporal Logics of Programs" (1996)
in: Baaz M. and Zach R.
"Algorithmic Structuring of Cut-free Proofs" (1993)

Kluwer

in: Baaz M., Egly U. and Leitsch A.
"Extension Methods in Automated Deduction" (1998)
in: Terwijn S. A.
"On the quantitative structure of $Δ$ ₂" (2001)

Knowledge

in: Baaz M. and Fermüller C. G.
"A Resolution principle for Quantificational $S5$ with an Application to Knowledge Representation" (1993)
in: Baaz M. and Quirchmayr G.
"Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993)
in: Baaz M. and Quirchmayr G.
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988)

Komplexität

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

Krajícek J.

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

Krajiecek J.

in: Baaz M., Hájek P., Krajiecek J. and Svejda D.
"Embedding Logics into Product Logic" (1998)

Kraków

in: Stephan F. C. and Terwijn S. A.
"The complexity of universal text-learners" (1997)

Kreis

in: Baaz M.
"Logik des Juridischen Schließens" (2001)

Kreisel

in: Baaz M. and Pudlák P.
"Kreisel's Conjecture for $L∃$ ₁" (1993)

Kripke

in: Baaz M. and Preining N.
"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $ω$ " (2004)
in: Ciabattoni A. and Ferrari M.
"Hypersequent calculi for some intermediate logics with bounded Kripke models" (2001)
in: Iemhoff R.
"Review of: Submodels of Kripke Models, by A. Visser" (2002)

Kripke-Type

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.
"Kripke-Type Semantics for Da Costa's Paraconsistent Logic $C$ _ω" (1986)

Kucera A.

in: Kucera A. and Terwijn S. A.
"Lowness for the class of random sets" (1999)

Kuich W.

in: Baron G. and Kuich W.
"The characterization of nonexpansive grammars by rational power series" (1981)
in: Hlawka E. and Kuich W.
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965)
in: Honkala J. and Kuich W.
"On Lindenmayerian algebraic power series" (1997)
in: Honkala J. and Kuich W.
"On a power series generalization of ETL languages" (1996)
in: Honkala J. and Kuich W.
"On four classes of Lindenmayerian power series" (1995)
in: Karner G. and Kuich W.
"A characterization of abstract families of algebraic power series" (1997)
in: Kuich W.
"Gaussian elimination and a characterization of algebraic power series" (1998)
in: Kuich W.
"Cones and abstract families of elements" (1997)
in: Kuich W.
"Generalized Lindenmayerian algebraic systems" (1997)
in: Kuich W.
"Semirings and formal power series: their relevance to formal languages and automata" (1997)
in: Kuich W.
"Representations and complete semiring morphisms" (1995)
in: Kuich W.
"The algebraic equivalent of AFL theory" (1995)
in: Kuich W.
"On the multiplicity equivalence problem for context-free grammars" (1994)
in: Kuich W.
"Automata and languages generalized to $ω$ -continuous semirings" (1991)
in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991)
in: Kuich W.
"Polynomalgebren, algebraische Systeme und Kellerautomaten" (1988)
in: Kuich W.
"Hauptkegel algebraischer Potenzreihen" (1987)
in: Kuich W.
"The Kleene and the Parikh theorem in complete semirings" (1987)
in: Kuich W. and Salomaa A.
"Semirings, automata, languages" (1986)
in: Kuich W.
"The characterization of parallel ultralinear grammars by rational power series" (1981)
in: Kuich W.
"Zur Theorie algebraischer Systeme" (1981)
in: Kuich W.
"Generating functions for derivation trees" (1980)
in: Kuich W.
"Quantitative Aspekte bei Ableitungsbäumen" (1980)
in: Kuich W., Prodinger H. and Urbanek F. J.
"On the height of derivation trees" (1979)
in: Kuich W. and Shyamasundar R. K.
"The structure generating function of some families of languages" (1976)
in: Kuich W.
"The complexity of skewlinear tuple languages and $o$ -regular languages" (1971)
in: Kuich W. and Maurer H.
"The structure generating function and entropy of tuple languages" (1971)
in: Kuich W.
"On the entropy of context-free languages" (1970)
in: Kuich W.
"Systems of pushdown acceptors and context-free grammars" (1970)

Kurt

in: Baaz M. and Zach R.
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002)
in: Baaz M.
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996)
in: Baaz M. and Leitsch A.
"Methods of Functional Extensions" (1995)
in: Baaz M.
"Automatisches Beweisen für endlichwertige Logiken" (1989)
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. and Quirchmayr G.
"Juridische Schlüsse und mehrwertige Logik" (1988)
in: Preining N.
"Sketch-as-Proof" (1997)

Kybernet

in: Kuich W.
"Zur Theorie algebraischer Systeme" (1981)

Kybernetik

in: Kuich W.
"Systems of pushdown acceptors and context-free grammars" (1970)