Combining Norms to Prove Termination

S Genaim, M Codish, J Gallagher, V Lagoon

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

19 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Combining Norms to Prove Termination'. Together they form a unique fingerprint.

Engineering

Mathematics

Psychology