Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
1 |
| |||||||
3 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
9 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
4 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
2 |
| |||||||
3 |
| |||||||
2005 | Superposition with equivalence reasoning and delayed clause normal form transformation In: Information and Computation [199], 3-23 | Journal Article | ||||||
2003 | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349 | Proceedings Article | ||||||
1992 | Inductive theorem proving by consistency for first-order clauses In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462 | Part of a Book | ||||||
2 |
| |||||||
3 |
| |||||||
1 |
| |||||||
1 |
|