Hartmut Höft

Publication Activity (10 Years)

Years Active: 1981-1994
Publications (10 Years): 0

Publications

Hartmut Höft, Paul E. Howard
Well Ordered Subsets of Linearly Ordered Sets. Notre Dame J. Formal Log. 35 (3) (1994)
Ranjan Chaudhuri, Hartmut Höft
Splaying a search tree in preorder takes linear time. SIGACT News 24 (2) (1993)
Hartmut Höft
Implementation of a non-deterministic loop. ACM SIGCSE Bull. 23 (2) (1991)
Ranjan Chaudhuri, Hartmut Höft
On rational solution of the state equation of a finite automation (abstract only). ACM Conference on Computer Science (1987)
Hartmut Höft
Antisymmetry and Lexicographic Product Relations. Math. Log. Q. 27 (22) (1981)