Donald Simon

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1988

2 Donald Simon: Checking Natural Language Proofs. CADE 1988: 141-150

1984

1 Donald Simon: A Linear Time Algorithm for a Subcase of Second Order Instantiation. CADE 1984: 209-223

	1988
2		Donald Simon: Checking Natural Language Proofs. CADE 1988: 141-150
	1984
1		Donald Simon: A Linear Time Algorithm for a Subcase of Second Order Instantiation. CADE 1984: 209-223