On Symmetric and Choiceless Computation

Anuj Dawar

doi:10.1007/978-3-319-28678-5_2

Communication Dans Un Congrès Année : 2016

On Symmetric and Choiceless Computation

(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

385217_1_En_2_Chapter.pdf (192.24 Ko)

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

Dates et versions

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

Licence

Paternité

Identifiants

HAL Id : hal-01446261 , version 1
DOI : 10.1007/978-3-319-28678-5_2

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

63 Consultations

138 Téléchargements

On Symmetric and Choiceless Computation

Résumé

Domaines

Dates et versions

Licence

Identifiants

Citer

Exporter

Collections

Altmetric

Partager