On the Modularity og Confluence in Infinitary Term Rewiting
Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
Standard
On the Modularity og Confluence in Infinitary Term Rewiting. / Simonsen, Jakob Grue.
Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004). Berlin : Springer, 2004. p. 185-199.Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
Harvard
Simonsen, JG 2004, On the Modularity og Confluence in Infinitary Term Rewiting. in Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004). Springer, Berlin, pp. 185-199.
APA
Simonsen, J. G. (2004). On the Modularity og Confluence in Infinitary Term Rewiting. In Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004) (pp. 185-199). Springer.
Vancouver
Simonsen JG. On the Modularity og Confluence in Infinitary Term Rewiting. In Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004). Berlin: Springer. 2004. p. 185-199
Author
Bibtex
@inbook{3ba06fe074be11dbbee902004c4f4f50,
title = "On the Modularity og Confluence in Infinitary Term Rewiting",
author = "Simonsen, {Jakob Grue}",
year = "2004",
language = "English",
isbn = "0302-9743",
pages = "185--199",
booktitle = "Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004)",
publisher = "Springer",
address = "Switzerland",
}
RIS
TY - GEN
T1 - On the Modularity og Confluence in Infinitary Term Rewiting
AU - Simonsen, Jakob Grue
PY - 2004
Y1 - 2004
M3 - Report chapter
SN - 0302-9743
SP - 185
EP - 199
BT - Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004)
PB - Springer
CY - Berlin
ER -
ID: 15112