Titre :

Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation

Auteur(s) :

Kawamura, Akitoshi [Auteur]
The University of Tokyo [UTokyo]
Marion, Jean-Yves [Auteur]
Université de Lorraine [UL]
Nowak, David [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Extra Small Extra Safe [2XS]

Institution :

National Institute of Informatics

Date de publication :

2013-12-10

Discipline(s) HAL :

Informatique [cs]/Logique en informatique [cs.LO]
Informatique [cs]/Complexité [cs.CC]

Langue :

Anglais

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL