Carlos Areces, Hans P. van Ditmarsch, Raul Fervari, François Schwarzentruber. Logics with Copy and Remove. In Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings. Volume 8652 of Lecture Notes in Computer Science, pages 51-65, Springer, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.