Login / Signup

Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL.

Lukas BulwahnAlexander KraussTobias Nipkow
Published in: TPHOLs (2007)
Keyphrases