Simulating liveness by reduction strategies

J. Giesl; H. Zantema

doi:10.1016/S1571-0661(05)82615-5

Simulating liveness by reduction strategies

J. Giesl, H. Zantema

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

Original language	English
Title of host publication	Proceedings 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003, Valencia, Spain, June 8, 2003)
Editors	B. Gramlich, S. Lucas
DOIs	https://doi.org/10.1016/S1571-0661(05)82615-5
Publication status	Published - 2003

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	86(4)
ISSN (Print)	1571-0061

Access to Document

10.1016/S1571-0661(05)82615-5

Cite this

@inproceedings{a4266a9b6eca439996ad1a2be7104de2,

title = "Simulating liveness by reduction strategies",

author = "J. Giesl and H. Zantema",

year = "2003",

doi = "10.1016/S1571-0661(05)82615-5",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

editor = "B. Gramlich and S. Lucas",

booktitle = "Proceedings 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003, Valencia, Spain, June 8, 2003)",

}

Simulating liveness by reduction strategies. / Giesl, J.; Zantema, H.
Proceedings 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003, Valencia, Spain, June 8, 2003). ed. / B. Gramlich; S. Lucas. 2003. (Electronic Notes in Theoretical Computer Science; Vol. 86(4)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Simulating liveness by reduction strategies

AU - Giesl, J.

AU - Zantema, H.

PY - 2003

Y1 - 2003

U2 - 10.1016/S1571-0661(05)82615-5

DO - 10.1016/S1571-0661(05)82615-5

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

BT - Proceedings 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003, Valencia, Spain, June 8, 2003)

A2 - Gramlich, B.

A2 - Lucas, S.

ER -