Publications

Export 3 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Schwarzentruber, François  [Clear All Filters]
Conference Paper
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “Logics with Copy and Remove”, in Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Valparaíso, Chile, 2014.