Fulltext present in this item

Thumbnail
Fulltext: 103857.pdf
Format: PDF
Description: publisher's version
Title: Triangulation in rewriting
Author(s): Oostrum, V. van; Zantema, H.
Publication year: 2012
In: Tiwari, A. (ed.), 23rd International Conference on Rewriting Techniques and Applications (RTA'12), pp. 240-255
Publisher: Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
ISBN: 9783939897385
DOI: https://doi.org/10.4230/LIPIcs.RTA.2012.240
Annotation: 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Publication type: Article in monograph or in proceedings

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

Display more details
Editor(s): Tiwari, A.
Subject: Data Science
Organization: Software Science
Book title: Tiwari, A. (ed.), 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Page start: p. 240
Page end: p. 255

This item appears in the following Collection(s)

Browse

Statistics