Local Termination

J. Endrullis, R.C. de Vrijer, J. Waldmann

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)270-284
JournalLecture Notes in Computer Science
Volume5595
DOIs
Publication statusPublished - 2009
EventRewriting Techniques and Applications -
Duration: 1 Jan 20091 Jan 2009

Bibliographical note

Proceedings title: Proc. Conf. on Rewriting Techniques and Applications
Publisher: Springer

Cite this