Rewrite systems for integer arithmetic

H.E. Walters; H. Zantema

Rewrite systems for integer arithmetic

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	324-338
ISBN (Print)	3-540-59200-8
Publication status	Published - 1995

Publication series

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

Cite this

@inproceedings{29c5067e95414e8788a7ba654385a275,

title = "Rewrite systems for integer arithmetic",

author = "H.E. Walters and H. Zantema",

year = "1995",

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "324--338",

editor = "J. Hsiang",

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

address = "Germany",

}

Rewrite systems for integer arithmetic. / Walters, H.E.; 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. 324-338 (Lecture Notes in Computer Science; Vol. 914).

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

TY - GEN

T1 - Rewrite systems for integer arithmetic

AU - Walters, H.E.

AU - Zantema, H.

PY - 1995

Y1 - 1995

M3 - Conference contribution

SN - 3-540-59200-8

T3 - Lecture Notes in Computer Science

SP - 324

EP - 338

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 -