Termination, Geometry and Invariants

Research output: Contribution to conferencePaper

Original languageEnglish
Pages432-434
Publication statusPublished - 1994

Cite this