Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
Authors
O. Lysne
and
J. Piris
Title
A Termination Ordering for Higher Order Rewrite Systems
Status
Published
Publication Type
Talks, contributed
Year of Publication
1994
Location of Talk
Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS
Citation Key
ND.7.Lysne.1994
Google Scholar
BibTeX