Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Schwarzentruber, François  [Clear All Filters]
2014
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.