000843359 000__ 03770cam\a2200589Ii\4500 000843359 001__ 843359 000843359 005__ 20230306144720.0 000843359 006__ m\\\\\o\\d\\\\\\\\ 000843359 007__ cr\cn\nnnunnun 000843359 008__ 180605s2018\\\\sz\a\\\\ob\\\\101\0\eng\d 000843359 019__ $$a1040627100$$a1042941769 000843359 020__ $$a9783319924021$$q(electronic book) 000843359 020__ $$a3319924028$$q(electronic book) 000843359 020__ $$z9783319924014 000843359 0247_ $$a10.1007/978-3-319-92402-1$$2doi 000843359 035__ $$aSP(OCoLC)on1038716442 000843359 035__ $$aSP(OCoLC)1038716442$$z(OCoLC)1040627100$$z(OCoLC)1042941769 000843359 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dAZU$$dUPM$$dOCLCO$$dOCLCF$$dUAB 000843359 049__ $$aISEA 000843359 050_4 $$aQA75.5 000843359 08204 $$a004$$223 000843359 1112_ $$aMCU (Conference)$$n(8th :$$d2018 :$$cFontainebleau, France) 000843359 24510 $$aMachines, computations, and universality :$$b8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /$$cJérôme Durand-Lose, Sergey Verlan (eds.). 000843359 2463_ $$aMCU 2018 000843359 264_1 $$aCham, Switzerland :$$bSpringer,$$c2018. 000843359 300__ $$a1 online resource (xvii, 171 pages) :$$billustrations. 000843359 336__ $$atext$$btxt$$2rdacontent 000843359 337__ $$acomputer$$bc$$2rdamedia 000843359 338__ $$aonline resource$$bcr$$2rdacarrier 000843359 347__ $$atext file$$bPDF$$2rda 000843359 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10881 000843359 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues 000843359 500__ $$aInternational conference proceedings. 000843359 504__ $$aIncludes bibliographical references and author index. 000843359 5050_ $$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. . 000843359 506__ $$aAccess limited to authorized users. 000843359 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.). 000843359 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 5, 2018). 000843359 650_0 $$aComputer science$$vCongresses. 000843359 650_0 $$aComputer multitasking$$vCongresses. 000843359 650_0 $$aComputer science$$xMathematics$$vCongresses. 000843359 650_0 $$aComputer logic$$vCongresses. 000843359 7001_ $$aDurand-Lose, Jérôme,$$eeditor. 000843359 7001_ $$aVerlan, Sergey,$$eeditor. 000843359 77608 $$iPrint version: $$z9783319924014 000843359 830_0 $$aLecture notes in computer science ;$$v10881. 000843359 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues. 000843359 852__ $$bebk 000843359 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-92402-1$$zOnline Access$$91397441.1 000843359 909CO $$ooai:library.usi.edu:843359$$pGLOBAL_SET 000843359 980__ $$aEBOOK 000843359 980__ $$aBIB 000843359 982__ $$aEbook 000843359 983__ $$aOnline 000843359 994__ $$a92$$bISE