Order-Sorted Termination: the Unsorted Way

Order-Sorted Termination: the Unsorted Way

Order-Sorted Termination: the Unsorted Way

Authors: P. C. Ölveczky and O. Lysne
Status: Published
Publication type: Presentation
Year of publication: 1995
Journal: Proceedings from NIK'95: Norsk Informatikk Konferanse, Gran
Publisher: -
Citation key: 11979

Google Scholar BibTex