A Termination Ordering for Higher Order Rewrite Systems

By thinking constantly about it…

Search form

Search

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

Kristian Augusts gate 23
0164 Oslo

Pilestredet 52
0167 Oslo

Thormøhlens gate 53D
5006 Bergen

Facebook LinkedIn Twitter