E. Suen

List of publications from the DBLP Bibliography Server - FAQ

1988

2 Franz Oppacher, E. Suen: HARP: A Tableau-Based Theorem Prover. J. Autom. Reasoning 4(1): 69-100 (1988)

1986

1 Franz Oppacher, E. Suen: Controlling Deduction with Proof Condensation and Heuristics. CADE 1986: 384-393

1988
2		Franz Oppacher, E. Suen: HARP: A Tableau-Based Theorem Prover. J. Autom. Reasoning 4(1): 69-100 (1988)
1986
1		Franz Oppacher, E. Suen: Controlling Deduction with Proof Condensation and Heuristics. CADE 1986: 384-393

Coauthor Index