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

H

Hájek P.

in: Baaz M., Hájek P., Krajiecek J. and Svejda D.
"Embedding Logics into Product Logic" (1998)
in: Baaz M.
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996)
in: Baaz M., Hájek P., Montagna F. and Veith H.
"Complexity of t-Tautologies."

Hähnle R.

in: Baaz M. and Fermüller C. G.
"Non-elementary Speedups between Different Versions of Tableaux" (1995)

Hölder-Pichler-Tempsky

in: Baaz M., Brunner N. and Svozil K.
"Interpretations of Combinatory Algebras" (1993)
in: Baaz M.
"Über den allgemeinen Gehalt von Beweisen" (1988)
in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991)
in: Kuich W.
"Polynomalgebren, algebraische Systeme und Kellerautomaten" (1988)

Hörwein K.

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

Hagenberg

in: Baaz M. and Leitsch A.
"Cut elimination by resolution" (1997)

Halbringe

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

Hamburg

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

Handbook

in: Baaz M., Fermüller C. G. and Salzer G.
"Automated Deduction for Many-Valued Logics" (2001)
in: Baaz M., Egly U. and Leitsch A.
"Normal Form Transformations" (2001)
in: Kuich W.
"Semirings and formal power series: their relevance to formal languages and automata" (1997)

Hans

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

Hauptkegel

in: Kuich W.
"Hauptkegel algebraischer Potenzreihen" (1987)

Height

in: Beckmann A.
"Height restricted constant depth LK" (2003)
in: Kuich W., Prodinger H. and Urbanek F. J.
"On the height of derivation trees" (1979)

Height-restriction

in: Beckmann A.
"Resolution refutations and propositional proofs with height-restriction" (2002)

Herbrand

in: Baaz M. and Preining N.
"Herbrand Disjunctions and Extraction of Proofs from Sketches" (2004)
in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving" (2001)
in: Baaz M. and Moser G.
"On a generalisation of Herbrand's theorm" (2001)

Heterogeneous

in: Baaz M.
"Quantifier elimination for heterogeneous quantifiers" (1987)

Hidden

in: Terwijn S. A.
"On the Learnability of Hidden Markov Models" (2002)

Higher

in: Aehlig K., Johannsen J., Schwichtenberg H. and Terwijn S. A.
"Linear ramified higher type recursion and parallel complexity" (2001)

Hitchcock J. M.

in: Hitchcock J. M., Lutz J. H. and Terwijn S. A.
"The arithmetical complexity of dimension and randomness" (2003)

Hlawka E.

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

Honkala J.

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)

Hypersequent

in: Baaz M. and Zach R.
"Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic" (2000)
in: Ciabattoni A. and Ferrari M.
"Hypersequent calculi for some intermediate logics with bounded Kripke models" (2001)

Hypersequents

in: Ciabattoni A. and Fermüller C.
"Hypersequents as a uniform framework for Urquhart's C, MTL and related logics" (2001)

Hypertableau

in: Ciabattoni A. and Ferrari M.
"Hypertableau and Path-Hypertableau Calculi for some families of intermediate logics" (2000)