Henrik Linnestad

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Henrik Linnestad, Christian Prehofer, Olav Lysne
Higher-Order Proof by Consistency. FSTTCS (1996)
Henrik Linnestad
Fatal Steps of Knuth-Bendix Completion. Nordic Journal of Computing. Nord. J. Comput. 3 (2) (1996)