An in-between "implicit" and "explicit" complexity: Automata - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

An in-between "implicit" and "explicit" complexity: Automata

Résumé

Implicit Computational Complexity makes two aspects implicit, by manipulating programming languages rather than models of computation, and by internalizing the bounds rather than using external measure. We survey how automata theory contributed to complexity with a machine-dependant with implicit bounds model.

Domaines

Logique en informatique [cs.LO] Logique [math.LO] Complexité [cs.CC]
Fichier principal
Vignette du fichier
standalone.pdf (300.25 Ko) Télécharger le fichier
diapo_aubert_15_04_12.pdf (624.04 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Origine Fichiers produits par l'(les) auteur(s)

Clément Aubert  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01111737

Soumis le : vendredi 29 mai 2015-11:18:30

Dernière modification le : vendredi 27 décembre 2024-19:46:32

Archivage à long terme le : lundi 24 avril 2017-17:44:57

Télécharger pour visualiser

Dates et versions

hal-01111737 , version 1 (30-01-2015)
hal-01111737 , version 2 (29-05-2015)

Licence

Licence Ouverte - etalab

Identifiants

Citer

Clément Aubert. An in-between "implicit" and "explicit" complexity: Automata. DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, Londres, United Kingdom. ⟨hal-01111737v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LACL LIG UPEC INRIA2 LIG-MFML-SPADES ANR LIG_SIDCH
465 Consultations
280 Téléchargements

Altmetric

Partager

More