Donald Simon

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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