Parallel semantic tree theorem proving with resolutions
Semantic trees have often been used as theoretical tools for showing the unsatisfiability of clauses in first-order predicate logic. Their practicality has been overshadowed, however, by other strategies though considerable effort has been made to improve semantic tree theorem provers over the la...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
McGill University
2004
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=85076 |