A complete characterization of termination of $0^p 1^q \rightarrow 1^r 0^s$

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

Original language	English
Title of host publication	Rewriting Techniques and Applications (Proceedings 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995)
Editors	J. Hsiang
Place of Publication	Berlin
Publisher	Springer
Pages	41-55
ISBN (Print)	3-540-59200-8
Publication status	Published - 1995

Name	Lecture Notes in Computer Science
Volume	914
ISSN (Print)	0302-9743

Cite this

@inproceedings{76e0e0101f984045a8fb39133344ca3f,

title = "A complete characterization of termination of $0^p 1^q \rightarrow 1^r 0^s$",

author = "A. Geser and H. Zantema",

year = "1995",

language = "English",

isbn = "3-540-59200-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "41--55",

editor = "J. Hsiang",

booktitle = "Rewriting Techniques and Applications (Proceedings 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995)",

address = "Germany",

}

A complete characterization of termination of $0^p 1^q \rightarrow 1^r 0^s$. / Geser, A.; Zantema, H.
Rewriting Techniques and Applications (Proceedings 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995). ed. / J. Hsiang. Berlin: Springer, 1995. p. 41-55 (Lecture Notes in Computer Science; Vol. 914).

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

TY - GEN

T1 - A complete characterization of termination of $0^p 1^q \rightarrow 1^r 0^s$

AU - Geser, A.

AU - Zantema, H.

PY - 1995

Y1 - 1995

M3 - Conference contribution

SN - 3-540-59200-8

T3 - Lecture Notes in Computer Science

SP - 41

EP - 55

BT - Rewriting Techniques and Applications (Proceedings 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995)

A2 - Hsiang, J.

PB - Springer

CY - Berlin

ER -