Special issue on implicit computational complexity

Patrick Baillot (1) , Jean-Yves Marion (2) , Simona Ronchi Della Rocca (3)

1 LIP - Laboratoire de l'Informatique du Parallélisme
2 CARTE - Theoretical adverse computations, and safety
3 Dipartimento di Informatica [Torino]

This special issue of ACM Transactions on Computational Logic is devoted to Implicit Computational Complexity, following the Workshop on Implicit Computational Complexity held in Marseilles in February 2006 as part of the special thematic session on Geometry of Computation (GEOCAL'06) at the Centre International de Rencontres Mathématiques. The articles selected had been submitted responding to a public call-for-papers after the workshop and have undergone the TOCL standard refereeing process.

Mots clés: Implicit computational complexity

Domaines: Logique en informatique [cs.LO]

Patrick Baillot, Jean-Yves Marion, Simona Ronchi Della Rocca. Special issue on implicit computational complexity. ACM Trans. Comput. Log. (10)4. Workshop on Implicit Computational Complexity - Geometry of Computation (GEOCAL'06), Feb 2006, Marseille, France. 10 (4), 2 p., 2009, ⟨10.1145/1555746.1555747⟩. ⟨hal-00434330⟩