G. Lindhorst

According to our database, G. Lindhorst authored at least 1 paper in 1989.

Collaborative distances:

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

1989

On Renaming a Set of Clauses as a Horn Set.

G. Lindhorst, Farhad Shahrokhi

Inf. Process. Lett., 1989