Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Spencer, Bruce - Faculty of Computer Science, University of New Brunswick
Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning
Rank/Activity: A Canonical Form for Binary J. D. Horton and Bruce Spencer
Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution
Using ACTs in Disjunctive Deductive Databases Charlie F. Obimbo Bruce Spencer
Support Ordered Resolution Bruce Spencer and J. D. Horton
Extending the Regular Restriction of Resolution to NonLinear Subdeductions
Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning
Avoiding Duplicate Proofs with the Foothold Bruce Spencer
