Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
2005 | Superposition with equivalence reasoning and delayed clause normal form transformation In: Information and Computation [199], 3-23 | Ganzinger-Stuber-ic-05 | |||||
2003 | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349 | GanzingerStuber-2003-cade | |||||
1992 | Inductive theorem proving by consistency for first-order clauses In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462 | GanzingerStuber-92 | |||||
| |||||||
| |||||||
| |||||||
|