Local Termination

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

doi:10.1007/978-3-642-02348-4_19

Local Termination

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	270-284
Journal	Lecture Notes in Computer Science
Volume	5595
DOIs	https://doi.org/10.1007/978-3-642-02348-4_19
Publication status	Published - 2009
Event	Rewriting Techniques and Applications - Duration: 1 Jan 2009 → 1 Jan 2009

Bibliographical note

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

Access to Document

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

Persistent URL (handle)

Persistent link

Cite this

@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; Rewriting Techniques and Applications ; Conference date: 01-01-2009 Through 01-01-2009",

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 Science and Business Media Deutschland GmbH",

}

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

UR - https://www.scopus.com/pages/publications/70350666767

UR - https://www.scopus.com/inward/citedby.url?scp=70350666767&partnerID=8YFLogxK

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

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

M3 - Article

SN - 0302-9743

VL - 5595

SP - 270

EP - 284

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - Rewriting Techniques and Applications

Y2 - 1 January 2009 through 1 January 2009

ER -

Local Termination

Bibliographical note

Access to Document

Persistent URL (handle)

Other files and links

Cite this