## Finding lexicographic orders for termination proofs in Isabelle/HOL (2007)

### Cached

### Download Links

- [www4.in.tum.de]
- [www4.informatik.tu-muenchen.de]
- [www21.in.tum.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 |