Henrik Linnestad

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1996

2 Henrik Linnestad, Christian Prehofer, Olav Lysne: Higher-Order Proof by Consistency. FSTTCS 1996: 274-285

1 Henrik Linnestad: Fatal Steps of Knuth-Bendix Completion. Nordic Journal of Computing. Nord. J. Comput. 3(2): 131-143 (1996)

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

Coauthor Index

1 Olav Lysne [2]

2 Christian Prehofer [2]