Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Rapport (Rapport Technique) Année : 2013

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

Akitoshi Kawamura
  • Fonction : Auteur
The University of Tokyo
Jean-Yves Marion
Université de Lorraine
David Nowak
Extra Small Extra Safe
Laboratoire d'Informatique Fondamentale de Lille

Domaines

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

David Nowak  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01122860

Soumis le : mercredi 4 mars 2015-16:19:57

Dernière modification le : mercredi 24 janvier 2024-09:54:22

Fichier non déposé

Dates et versions

hal-01122860 , version 1 (04-03-2015)

Identifiants

  • HAL Id : hal-01122860 , version 1

Citer

Akitoshi Kawamura, Jean-Yves Marion, David Nowak. Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation. [Technical Report] 2013-13, National Institute of Informatics. 2013, pp.16. ⟨hal-01122860⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-LILLE3 CNRS INRIA CRISTAL UNIV-LORRAINE CRISTAL-2XS LARA UNIV-LILLE
125 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More