- 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 | ||
| 5 | | Dan 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 | ||
| 1 | | Dan Benanav, Deepak Kapur, Paliath Narendran: Complexity of Matching Problems. RTA 1985: 417-429 |
| 1 | Allen L. Brown Jr. | [3] |
| 2 | Dale E. Gaucas | [3] |
| 3 | Deepak Kapur | [1] [2] |
| 4 | Paliath Narendran | [1] [2] |
Colors in the list of coauthors
Last update Thu May 24 01:13:30 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page