000 03687nam a22006015i 4500
001 978-3-319-92402-1
003 DE-He213
005 20240730164821.0
007 cr nn 008mamaa
008 180525s2018 sz | s |||| 0|eng d
020 _a9783319924021
_9978-3-319-92402-1
024 7 _a10.1007/978-3-319-92402-1
_2doi
050 4 _aQA76.9.A43
072 7 _aUMB
_2bicssc
072 7 _aCOM051300
_2bisacsh
072 7 _aUMB
_2thema
082 0 4 _a518.1
_223
245 1 0 _aMachines, Computations, and Universality
_h[electronic resource] :
_b8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /
_cedited by Jérôme Durand-Lose, Sergey Verlan.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2018.
300 _aXVII, 171 p. 27 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10881
505 0 _aControl Mechanisms for Array Grammars on Cayley Grids -- A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality -- Sequential Grammars with Activation and Blocking of Rules -- The Language (and Series) of Hammersley-type Processes -- Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case -- Minimal Useful Size of Counters for (Real-Time) Multicounter Automata -- A Framework for (De)composing with Boolean Automata Networks -- An Extension of Interval-valued Computing Equivalent to Red-green Turing Machines -- Physical Computation and First-Order Logic. .
520 _aThis book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018. The 9 revised full papers presented together with 5 invited talks were carefully reviewed and selected from numerous submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.).
650 0 _aAlgorithms.
_93390
650 0 _aComputer systems.
_986215
650 0 _aMachine theory.
_986217
650 0 _aComputer science.
_99832
650 0 _aComputers, Special purpose.
_946653
650 1 4 _aAlgorithms.
_93390
650 2 4 _aComputer System Implementation.
_938514
650 2 4 _aFormal Languages and Automata Theory.
_986219
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
700 1 _aDurand-Lose, Jérôme.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_986221
700 1 _aVerlan, Sergey.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_986222
710 2 _aSpringerLink (Online service)
_986224
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319924014
776 0 8 _iPrinted edition:
_z9783319924038
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10881
_986226
856 4 0 _uhttps://doi.org/10.1007/978-3-319-92402-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c85920
_d85920