Abstract : Formal models of computation such as Turing machines are usually defined as performing operations on strings of symbols.
Type de document :
Communication dans un congrès
Mohammed Taghi Hajiaghayi; Mohammad Reza Mousavi. 1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. Lecture Notes in Computer Science, LNCS-9541, pp.23-29, 2016, Topics in Theoretical Computer Science. 〈10.1007/978-3-319-28678-5_2〉
https://hal.inria.fr/hal-01446261
Contributeur : Hal Ifip
<>
Soumis le : mercredi 25 janvier 2017 - 16:50:50
Dernière modification le : mercredi 25 janvier 2017 - 16:58:07
Document(s) archivé(s) le : mercredi 26 avril 2017 - 15:01:28
Anuj Dawar. On Symmetric and Choiceless Computation. Mohammed Taghi Hajiaghayi; Mohammad Reza Mousavi. 1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. Lecture Notes in Computer Science, LNCS-9541, pp.23-29, 2016, Topics in Theoretical Computer Science. 〈10.1007/978-3-319-28678-5_2〉. 〈hal-01446261〉
