Special issue on implicit computational complexity

Abstract : 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.
Type de document :
Documents associés à des manifestations scientifiques -- Hal-inria+
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〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00434330
Contributeur : Jean-Yves Marion <>
Soumis le : dimanche 22 novembre 2009 - 21:42:42
Dernière modification le : mardi 16 janvier 2018 - 15:52:25
Document(s) archivé(s) le : jeudi 17 juin 2010 - 21:23:27

Fichiers

IntroTOCL.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

375

Téléchargements de fichiers

64