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

Dan Benanav Vis

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

*1992
6 Dan Benanav: Recognizing Unnecessary Clauses in Resolution Based Systems. J. Autom. Reasoning 9(1): 43-76 (1992)
1990
5EEDan Benanav: Simultaneous Paramodulation. CADE 1990: 442-455
1989
4 Dan Benanav: Recognizing Unnecessary Inference. IJCAI 1989: 366-371
1987
3 Allen L. Brown Jr., Dale E. Gaucas, Dan Benanav: An Algebraic Foundation for Truth Maintenance. IJCAI 1987: 973-980
2 Dan Benanav, Deepak Kapur, Paliath Narendran: Complexity of Matching Problems. J. Symb. Comput. 3(1/2): 203-216 (1987)
1985
1EEDan Benanav, Deepak Kapur, Paliath Narendran: Complexity of Matching Problems. RTA 1985: 417-429

Coauthor Index

1Allen L. Brown Jr. [3]
2Dale E. Gaucas [3]
3Deepak Kapur [1] [2]
4Paliath Narendran [1] [2]

Colors in the list of coauthors

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