On the Modularity og Confluence in Infinitary Term Rewiting
Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
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. s. 185-199.Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
Harvard
Simonsen, JG 2004, On the Modularity og Confluence in Infinitary Term Rewiting. i Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004). Springer, Berlin, s. 185-199.
APA
Simonsen, J. G. (2004). On the Modularity og Confluence in Infinitary Term Rewiting. I Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004) (s. 185-199). Springer.
Vancouver
Simonsen JG. On the Modularity og Confluence in Infinitary Term Rewiting. I Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004). Berlin: Springer. 2004. s. 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