Fredrik Lindblad

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

2 Fredrik Lindblad: Higher-Order Proof Construction Based on First-Order Narrowing. Electr. Notes Theor. Comput. Sci. 196: 69-84 (2008)

2004

1 Fredrik Lindblad, Marcin Benke: A Tool for Automated Theorem Proving in Agda. TYPES 2004: 154-169

	2008
2		Fredrik Lindblad: Higher-Order Proof Construction Based on First-Order Narrowing. Electr. Notes Theor. Comput. Sci. 196: 69-84 (2008)
	2004
1		Fredrik Lindblad, Marcin Benke: A Tool for Automated Theorem Proving in Agda. TYPES 2004: 154-169

Coauthor Index

1 Marcin Benke [1]