dblp.uni-trier.dewww.uni-trier.de

Rolf Socher Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1991
3 Rolf Socher: Optimizing the Clausal Normal Form Transformation. J. Autom. Reasoning 7(3): 325-336 (1991)
2 Rolf Socher: On the Relation Between Resolution Based and Completion Based Theorem Proving. J. Symb. Comput. 11(1/2): 129-147 (1991)
1988
1EERolf Socher: A Subsumption Algorithm Based on Characteristic Matrices. CADE 1988: 573-581

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)