François Schwarzentruber

Documents

Identifiants chercheurs

Présentation

946027

	Logics with Copy and Remove Carlos Areces , Hans van Ditmarsch , Raul Fervari , François Schwarzentruber Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valpara\'ıso, Chile, September 1-4, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.51--65, ⟨10.1007/978-3-662-44145-9_4⟩ Communication dans un congrès hal-01273560v1