Hartmut Höft

According to our database, Hartmut Höft authored at least 5 papers between 1981 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1994

Well Ordered Subsets of Linearly Ordered Sets.

Hartmut Höft, Paul E. Howard

Notre Dame J. Formal Log., 1994

1993

Splaying a search tree in preorder takes linear time.

Ranjan Chaudhuri, Hartmut Höft

SIGACT News, 1993

1991

Implementation of a non-deterministic loop.

Hartmut Höft

ACM SIGCSE Bull., 1991

1987

On rational solution of the state equation of a finite automation (abstract only).

Ranjan Chaudhuri, Hartmut Höft

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1981

Antisymmetry and Lexicographic Product Relations.

Hartmut Höft

Math. Log. Q., 1981