Fulltext present in this item

Thumbnail
Fulltext: 205612.pdf
Format: PDF
Description: publisher's version
Title: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
Author(s): Endrullis, J.; Hansen, H.H.; Hendriks, D.; Polonsky, An.; Silva, A.
Publication year: 2015
In: Leibniz International Proceedings in Informatics, (2015)Fernandez, M. (ed.), RTA 2015: 26th International Conference on Rewriting Techniques and Applications, pp. 143-159
Publisher: Dagstuhl : Schloss Dagstuhl
ISBN: 9783939897859
ISSN: 1868-8969
DOI: https://doi.org/10.4230/LIPIcs.RTA.2015.143
Annotation: RTA 2015: 26th International Conference on Rewriting Techniques and Applications
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/205612   https://hdl.handle.net/2066/205612

Display more details
Editor(s): Fernandez, M.
Subject: Data Science
Organization: Data Science
Journal title:
Leibniz International Proceedings in Informatics
Book title: Fernandez, M. (ed.), RTA 2015: 26th International Conference on Rewriting Techniques and Applications
Page start: p. 143
Page end: p. 159

This item appears in the following Collection(s)

Browse

Statistics