Logics with Copy and Remove - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Carlos Areces' in GoogleThis author has not been identified. Look up 'Hans P. van Ditmarsch' in GoogleThis author has not been identified. Look up 'Raul Fervari' in GoogleThis author has not been identified. Look up 'François Schwarzentruber' in Google

runs on WebDSL