Triangulation in rewriting

Thumbnail
Fulltext:
103857.pdf
Size:
564.7Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2012
Author(s)
Oostrum, V. van
Zantema, H.
Publisher
Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
ISBN
9783939897385
In
Tiwari, A. (ed.), 23rd International Conference on Rewriting Techniques and Applications (RTA'12), pp. 240-255
DOI
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

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.