DMCA

Termination Proofs using gpo Ordering Constraints (1997)

Cached

Download Links

by Thomas Genet , Isabelle Gnaedig
Venue:Proceedings 22nd International Colloquium on Trees in Algebra and Programming
Citations:7 - 1 self