On Symmetric and Choiceless Computation - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

On Symmetric and Choiceless Computation

Anuj Dawar (1)
Anuj Dawar
  • Fonction : Auteur
  • PersonId : 999373
Computer Laboratory [Cambridge]

Résumé

Formal models of computation such as Turing machines are usually defined as performing operations on strings of symbols.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
385217_1_En_2_Chapter.pdf (192.24 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01446261

Soumis le : mercredi 25 janvier 2017-16:50:50

Dernière modification le : mercredi 25 janvier 2017-16:58:07

Archivage à long terme le : mercredi 26 avril 2017-15:01:28

Télécharger pour visualiser

Dates et versions

hal-01446261 , version 1 (25-01-2017)

Licence

Paternité

Identifiants

Citer

Anuj Dawar. On Symmetric and Choiceless Computation. 1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.23-29, ⟨10.1007/978-3-319-28678-5_2⟩. ⟨hal-01446261⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-LNCS-9541
76 Consultations
166 Téléchargements

Altmetric

Partager

More