LEADER 03733nam  22006735  450 
001 996465799603316
005 20230329155043.0
010   $a3-319-92402-8
024 7 $a10.1007/978-3-319-92402-1
035   $a(CKB)3810000000358651
035   $a(DE-He213)978-3-319-92402-1
035   $a(MiAaPQ)EBC6298391
035   $a(PPN)229494234
035   $a(EXLCZ)993810000000358651
100   $a20180525d2018      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aMachines, Computations, and Universality$b[electronic resource] $e8th International Conference, MCU 2018, Fontainebleau, France, June 28?30, 2018, Proceedings /$fedited by Jérôme Durand-Lose, Sergey Verlan
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVII, 171 p. 27 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10881
311   $a3-319-92401-X 
327   $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. .
330   $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.).
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10881
606   $aAlgorithms
606   $aComputer systems
606   $aMachine theory
606   $aComputer science
606   $aComputers, Special purpose
606   $aAlgorithms
606   $aComputer System Implementation
606   $aFormal Languages and Automata Theory
606   $aComputer Science Logic and Foundations of Programming
606   $aSpecial Purpose and Application-Based Systems
615  0$aAlgorithms.
615  0$aComputer systems.
615  0$aMachine theory.
615  0$aComputer science.
615  0$aComputers, Special purpose.
615 14$aAlgorithms.
615 24$aComputer System Implementation.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a004
702   $aDurand-Lose$b Jérôme$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVerlan$b Sergey$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465799603316
996   $aMachines, Computations, and Universality$9772227
997   $aUNISA