Finding lexicographic orders for termination proofs in Isabelle/HOL (2007)
Cached
Download Links
- [www4.in.tum.de]
- [www4.informatik.tu-muenchen.de]
- DBLP
Other Repositories/Bibliography
by
Lukas Bulwahn
,
Er Krauss
,
Tobias Nipkow
| Venue: | Theorem Proving in Higher Order Logics: TPHOLs 2007, volume 4732 of Lecture Notes in Computer Science |
| Citations: | 14 - 5 self |
Document Versions
| Finding lexicographic orders for termination proofs in Isabelle/HOL –Lukas Bulwahn, Er Krauss, Tobias Nipkow — 2007 — Theorem Proving in Higher Order Logics: TPHOLs 2007, volume 4732 of Lecture Notes in Computer Science |
