Henrik Linnestad

According to our database, Henrik Linnestad authored at least 2 papers in 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Fatal Steps of Knuth-Bendix Completion. Nordic Journal of Computing.

Henrik Linnestad

Nord. J. Comput., 1996

Higher-Order Proof by Consistency.

Henrik Linnestad, Christian Prehofer, Olav Lysne

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996