Is the se-calculus strongly normalising?

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Extended Abstracts of the Fifth International Workshop on Termination
Place of Publication	Utrecht
Pages	25-28
Number of pages	4
Publication status	Published - 2001
Event	5th International Workshop on Termination - Utrecht, Netherlands Duration: 20 May 2001 → 21 May 2001

Workshop	5th International Workshop on Termination
Country/Territory	Netherlands
City	Utrecht
Period	20/05/01 → 21/05/01

Cite this

@inproceedings{ec83c540464043d3a7d857a390c574f6,

title = "Is the se-calculus strongly normalising?",

author = "Kamareddine, \{Fairouz Dib\} and A Rios",

year = "2001",

language = "English",

isbn = "0-393-2765-3",

pages = "25--28",

booktitle = "Extended Abstracts of the Fifth International Workshop on Termination",

note = "5th International Workshop on Termination ; Conference date: 20-05-2001 Through 21-05-2001",

}