Special issue on implicit computational complexity
Résumé
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.
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|