R. Kennaway, P. Severi, M. Sleep, and F. de Vries. Processes, Terms and Cycles, volume 3838 of Lecture Notes in Computer Science, page 148-172. Springer, (2005)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/birthday/KennawaySSV05
%A Kennaway, Richard
%A Severi, Paula
%A Sleep, M. Ronan
%A de Vries, Fer-Jan
%B Processes, Terms and Cycles
%D 2005
%E Middeldorp, Aart
%E van Oostrom, Vincent
%E van Raamsdonk, Femke
%E de Vrijer, Roel C.
%I Springer
%K dblp
%P 148-172
%T Infinitary Rewriting: From Syntax to Semantics.
%U http://dblp.uni-trier.de/db/conf/birthday/klop2005.html#KennawaySSV05
%V 3838
%@ 3-540-30911-X
@inproceedings{conf/birthday/KennawaySSV05,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Kennaway, Richard and Severi, Paula and Sleep, M. Ronan and de Vries, Fer-Jan},
biburl = {https://www.bibsonomy.org/bibtex/263586cf5aad953b1817a841d66671ad1/dblp},
booktitle = {Processes, Terms and Cycles},
crossref = {conf/birthday/2005klop},
editor = {Middeldorp, Aart and van Oostrom, Vincent and van Raamsdonk, Femke and de Vrijer, Roel C.},
ee = {https://doi.org/10.1007/11601548_11},
interhash = {1f0bafd52003e03917930e190d0dd91a},
intrahash = {63586cf5aad953b1817a841d66671ad1},
isbn = {3-540-30911-X},
keywords = {dblp},
pages = {148-172},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-17T12:12:39.000+0200},
title = {Infinitary Rewriting: From Syntax to Semantics.},
url = {http://dblp.uni-trier.de/db/conf/birthday/klop2005.html#KennawaySSV05},
volume = 3838,
year = 2005
}