Machines, computations, and universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /: 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. (2018)
- Record Type:
- Book
- Title:
- Machines, computations, and universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /: 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. (2018)
- Main Title:
- Machines, computations, and universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings
- Other Titles:
- MCU 2018
- Further Information:
- Note: Jérôme Durand-Lose, Sergey Verlan (eds.).
- Editors:
- Durand-Lose, Jérôme
Verlan, Sergey - Other Names:
- MCU (Conference), 8th
- Contents:
- Control 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.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2018
- Extent:
- 1 online resource (xvii, 171 pages), illustrations
- Subjects:
- 004
Computer science
Computer science -- Congresses
Computer multitasking -- Congresses
Computer science -- Mathematics -- Congresses
Computer logic -- Congresses
Computer logic
Computer multitasking
Computer science
Computer science -- Mathematics
Computer Science
Algorithm Analysis and Problem Complexity
Computer System Implementation
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Special Purpose and Application-Based Systems
Computers -- Information Technology
Mathematics -- Logic
Computers -- Programming -- General
Computers -- Expert Systems
Systems analysis & design
Mathematical theory of computation
Computer programming / software development
Expert systems / knowledge-based systems
Computer software
Computer network architectures
Logic design
Software engineering
Computers -- Programming -- Algorithms
Algorithms & data structures
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319924021
3319924028
9783319924014 - Related ISBNs:
- 9783319924014
331992401X - Notes:
- Note: Includes bibliographical references and author index.
Note: Online resource; title from PDF title page (SpringerLink, viewed June 5, 2018). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.358810
- Ingest File:
- 01_320.xml