International Conference on Rewriting Techniques and Applications 2010 (Edinburgh), pp. 5-6 http://rewriting.loria.fr/rta/

REALISING OPTIMAL SHARING VINCENT VAN OOSTROM Department of Philosophy, Utrecht University Heidelberglaan 6, 3584 CS Utrecht, The Netherlands E-mail address: [email protected]

1998 ACM Subject Classification: F.4.2. Key words and phrases: Optimal Sharing.

c Vincent van Oostrom

CC

Creative Commons Non-Commercial No Derivatives License Proceedings of the 21st International Conference on Rewriting Techniques and Applications, Edinburgh, July, 2010 Editors: Christopher Lynch LIPIcs - Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany Digital Object Identifier: 10.4230/LIPIcs.RTA.2010.5

6

VINCENT VAN OOSTROM

This work is licensed under the Creative Commons Attribution Non-Commercial No Derivatives License. To view a copy of this license, visit http://creativecommons.org/licenses/ by-nc-nd/3.0/.