W. M. J. Ophelders (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Harrie C. M. de Swart, W. M. J. Ophelders: Tableaux, resolution, and complexity of formulas. Meth. of Logic in CS 1(2): 241-260 (1994)

2 W. M. J. Ophelders, Harrie C. M. de Swart: Tableaux Versus Resolution a Comparison. Fundam. Inform. 18: 109-127 (1993)

1 Harrie C. M. de Swart, W. M. J. Ophelders: Another tableau based automated theorem prover for classical logic. Bulletin of the EATCS 35: 185-197 (1988)

Selection of 3 from 3 records - W. M. J. Ophelders has 1 coauthors

Last update 2012-02-16 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

3		Harrie C. M. de Swart, W. M. J. Ophelders: Tableaux, resolution, and complexity of formulas. Meth. of Logic in CS 1(2): 241-260 (1994)
2		W. M. J. Ophelders, Harrie C. M. de Swart: Tableaux Versus Resolution a Comparison. Fundam. Inform. 18: 109-127 (1993)
1		Harrie C. M. de Swart, W. M. J. Ophelders: Another tableau based automated theorem prover for classical logic. Bulletin of the EATCS 35: 185-197 (1988)