Local Termination

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

Endrullis, J. ; de Vrijer, R.C. ; Waldmann, J. / Local Termination. In: Lecture Notes in Computer Science. 2009 ; Vol. 5595. pp. 270-284.
@article{964bd665ba0e44d9843e7c564ca68e35,
title = "Local Termination",
author = "J. Endrullis and {de Vrijer}, R.C. and J. Waldmann",
note = "Proceedings title: Proc. Conf. on Rewriting Techniques and Applications Publisher: Springer",
year = "2009",
doi = "10.1007/978-3-642-02348-4_19",
language = "English",
volume = "5595",
pages = "270--284",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Local Termination. / Endrullis, J.; de Vrijer, R.C.; Waldmann, J.

In: Lecture Notes in Computer Science, Vol. 5595, 2009, p. 270-284.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Local Termination

AU - Endrullis, J.

AU - de Vrijer, R.C.

AU - Waldmann, J.

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

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-02348-4_19

DO - 10.1007/978-3-642-02348-4_19

M3 - Article

VL - 5595

SP - 270

EP - 284

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -