Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

&-0123456789ABCDEFGHIJKLMNOPQRSTUVWYZ

H

Hájek P.
Hähnle R.
in: Baaz M. and Fermüller C. G.
"Non-elementary Speedups between Different Versions of Tableaux" (1995) 
Hölder-Pichler-Tempsky
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
Hans
in: Baaz M.
"Logik des Juridischen Schließens" (2001) 
Hauptkegel
in: Kuich W.
"Hauptkegel algebraischer Potenzreihen" (1987) 
Height
Height-restriction
in: Beckmann A.
"Resolution refutations and propositional proofs with height-restriction" (2002) 
Herbrand
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.
Hypersequent
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) 

&-0123456789ABCDEFGHIJKLMNOPQRSTUVWYZ
 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

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

Valid HTML 4.01!