10.4230/LIPICS.RTA.2010.5
van Oostrom, Vincent
Vincent
van Oostrom
Realising Optimal Sharing
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2010
Article
Optimal Sharing
Lynch, Christopher
Christopher
Lynch
2010
2010-07-06
2010-07-06
2010-07-06
en
urn:nbn:de:0030-drops-26403
10.4230/LIPIcs.RTA.2010
978-3-939897-18-7
1868-8969
10.4230/LIPIcs.RTA.2010
LIPIcs, Volume 6, RTA 2010
Proceedings of the 21st International Conference on Rewriting Techniques and Applications
2013
6
3
5
6
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Lynch, Christopher
Christopher
Lynch
1868-8969
Leibniz International Proceedings in Informatics (LIPIcs)
2010
6
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2 pages
35657 bytes
application/pdf
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
info:eu-repo/semantics/openAccess
Realising Optimal Sharing
LIPIcs, Vol. 6, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, pages 5-6