By (2003)
by Alexandre Riazanov
http://www.cs.man.ac.uk/%7Eriazanoa/Vampire/thesis.ps.gz
Add To MetaCart
Abstract:
Abstract 11
Citations
| 606 | Term Rewriting and All That – Baader, Nipkow - 1998 |
| 106 | Completion without failure – Bachmair, Dershowitz, et al. - 1989 |
| 99 | Resolution theorem proving – Bachmair, Ganzinger |
| 57 | ΩMega: Towards a Mathematical Assistant – Benzmüller, Cheikhrouhou, et al. - 1997 |
| 41 | The KeY approach: Integrating object oriented design and formal verification – Ahrendt, Baar, et al. - 2000 |
| 36 | Discount: a system for distributed equational deduction – Avenhaus, Denzinger, et al. - 1995 |
| 18 | Ordered chaining calculi for first-order theories of transitive relations – Bachmair, Ganzinger - 1998 |
| 11 | Automated theorem proving in support of computer algebra: symbolic definite integration as a case study – Adams, Gottliebsen, et al. - 1999 |
| 10 | Nivelle. Automated proof construction in type theory using resolution – Bezem, Hendriks, et al. - 2002 |
