1 option
Machines, Computations, and Universality : 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings / edited by Jérôme Durand-Lose, Maurice Margenstern.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4664.
- Theoretical Computer Science and General Issues ; 4664
- Language:
- English
- Subjects (All):
- Computers.
- Computer hardware.
- Computer programming.
- Logic, Symbolic and mathematical.
- Computer logic.
- Theory of Computation.
- Computer Hardware.
- Programming Techniques.
- Computation by Abstract Devices.
- Mathematical Logic and Formal Languages.
- Logics and Meanings of Programs.
- Local Subjects:
- Theory of Computation.
- Computer Hardware.
- Programming Techniques.
- Computation by Abstract Devices.
- Mathematical Logic and Formal Languages.
- Logics and Meanings of Programs.
- Physical Description:
- 1 online resource (X, 328 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- Contents:
- Invited Talks
- Encapsulating Reaction-Diffusion Computers
- On the Computational Capabilities of Several Models
- Universality, Reducibility, and Completeness
- Using Approximation to Relate Computational Classes over the Reals
- A Survey of Infinite Time Turing Machines
- The Tiling Problem Revisited (Extended Abstract)
- Decision Versus Evaluation in Algebraic Complexity
- A Universal Reversible Turing Machine
- P Systems and Picture Languages
- Regular Papers
- Partial Halting in P Systems Using Membrane Rules with Permitting Contexts
- Uniform Solution of QSAT Using Polarizationless Active Membranes
- Satisfiability Parsimoniously Reduces to the TantrixTM Rotation Puzzle Problem
- Planar Trivalent Network Computation
- On the Power of Networks of Evolutionary Processors
- Study of Limits of Solvability in Tag Systems
- Query Completeness of Skolem Machine Computations
- More on the Size of Higman-Haines Sets: Effective Constructions
- Insertion-Deletion Systems with One-Sided Contexts
- Accepting Networks of Splicing Processors with Filtered Connections
- Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata
- Four Small Universal Turing Machines
- Changing the Neighborhood of Cellular Automata
- A Simple P-Complete Problem and Its Representations by Language Equations
- Slightly Beyond Turing's Computability for Studying Genetic Programming
- A Smallest Five-State Solution to the Firing Squad Synchronization Problem
- Small Semi-weakly Universal Turing Machines
- Simple New Algorithms Which Solve the Firing Squad Synchronization Problem: A 7-States 4n-Steps Solution.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-74593-8
- 9783540745938
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.