On Symmetric and Choiceless Computation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

On Symmetric and Choiceless Computation

Anuj Dawar
  • Function : Author
  • PersonId : 999373

Abstract

Formal models of computation such as Turing machines are usually defined as performing operations on strings of symbols.
Fichier principal
Vignette du fichier
385217_1_En_2_Chapter.pdf (192.24 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩
61 View
138 Download

Altmetric

Share

Gmail Facebook X LinkedIn More