Is the se-calculus strongly normalising?

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationExtended Abstracts of the Fifth International Workshop on Termination
Place of PublicationUtrecht
Pages25-28
Number of pages4
Publication statusPublished - 2001
Event5th International Workshop on Termination - Utrecht, Netherlands
Duration: 20 May 200121 May 2001

Workshop

Workshop5th International Workshop on Termination
Country/TerritoryNetherlands
CityUtrecht
Period20/05/0121/05/01

Cite this