%0 Conference Proceedings
%T On Symmetric and Choiceless Computation
%+ Computer Laboratory [Cambridge]
%A Dawar, Anuj
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 1st International Conference on Theoretical Computer Science (TTCS)
%C Tehran, Iran
%Y Mohammed Taghi Hajiaghayi
%Y Mohammad Reza Mousavi
%3 Topics in Theoretical Computer Science
%V LNCS-9541
%P 23-29
%8 2015-08-26
%D 2015
%R 10.1007/978-3-319-28678-5_2
%Z Computer Science [cs]Conference papers
%X Formal models of computation such as Turing machines are usually defined as performing operations on strings of symbols.
%G English
%Z TC 1
%Z WG 1.8
%2 https://inria.hal.science/hal-01446261/document
%2 https://inria.hal.science/hal-01446261/file/385217_1_En_2_Chapter.pdf
%L hal-01446261
%U https://inria.hal.science/hal-01446261
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-LNCS-9541
%~ IFIP-WG1-8
%~ IFIP-TTCS