Logics with Copy and Remove - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014
Fichier non déposé

Dates et versions

hal-01273560 , version 1 (12-02-2016)

Identifiants

Citer

Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber. Logics with Copy and Remove. 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⟩. ⟨hal-01273560⟩
575 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More