Reversible Computation [E-Book] : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
Table of Contents: ...Invited Paper -- Moment Semantics for Reversible Rule-Based Systems -- Reversible machines -- A Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible Ordered Restarting Automata -- Reversible Languages...

Full text 
Machines, Computations, and Universality [E-Book] : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
Formal Methods: Foundations and Applications [E-Book] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
Table of Contents: ... Engineering in the Heterogeneous Tool Set -- A coinductive animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection -- A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks...

Full text 
Descriptional Complexity of Formal Systems [E-Book] : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Unconventional Computation and Natural Computation [E-Book] : 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings /
Table of Contents: ... Arithmetic in Algorithmic Self-assembly -- Pattern Formation by Spatially Organized Approximate Majority Reactions -- Mecobo: A Hardware and Software Platform for in Materio Evolution -- Compact Realization of Reversible Turing Machines by 2-State Reversible Logic...

Full text 
Membrane Computing [E-Book] : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /
Table of Contents: ... Techniques -- Simulating Turing Machines with Polarizationless P Systems with Active Membranes -- Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms -- Polymorphic P Systems with Non-cooperative Rules...

Full text 
Artificial Intelligence and Symbolic Computation [E-Book] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
Table of Contents: ...Basic concepts of computability and new Turing machines -- Logics including non-classical ones -- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of symbolic mathematical computing....

Full text 
Interactive Theorem Proving [E-Book] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
Table of Contents: ... Refinement -- Data Refinement in Isabelle/HOL -- Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable -- Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω1 -- Mechanising Turing Machines and Computability Theory in Isabelle/HOL.-A...

Full text 
People, Problems, and Proofs [E-Book] : Essays from Gödel's Lost Letter: 2010 /
Table of Contents: ...: Programming Turing Machines -- Roger Apéry: Explaining Proofs -- Ron Rivest: Mathematical Gifts -- Frank Ryan: The Quarterback Teaches -- Leonard Schulman: Associativity -- Paul Seymour: Graph Minors -- Alfred Tarski: Lower Bounds on Theories -- Ken Thompson...

Full text 
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence [E-Book] : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011 /
Developments in Language Theory [E-Book] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
Table of Contents: ...Ultrametric Finite Automata and Turing Machines -- Recompression: Word Equations and Beyond -- Joint Spectral Characteristics: A Tale of Three Disciplines -- Unambiguous Finite Automata -- An Explicit Formula for the Intersection of Two Polynomials...

Full text 
Language and Automata Theory and Applications [E-Book] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /
Table of Contents: ... of Two-Way Transducers.- A Conditional Superpolynomial Lower Bound for Extended Resolution -- A Turing Machine Distance Hierarchy.Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown...

Full text 
Reversible Computation [E-Book] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
Table of Contents: ... -- Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible MOQA...

Full text 
Perspectives in computation /
Subject (ZB): ...turing machine...
Table of Contents 
Quantum Communication, Computing, and Measurement 2 [E-Book] /
Table of Contents: ... Computers -- Quantum Turing Machines: Local Transition, Preparation, Measurement, and Halting -- A New Approach to Quantum Computation -- Hypersensitivity to Perturbation on an NMR Quantum Computer -- Quantum Networks for Distributed Quantum Information...

Full text 
Quantum theoretic machines [E-Book] : what is thought from the point of view of physics /
Information Theory and Quantum Physics [E-Book] : Physical Foundations for Understanding the Conscious Process /
Cellular Automata and Complex Systems [E-Book] /
Non-standard computation : molecular computation - cellular automata - evolutionary algorithms - quantum computers /
Introduction to quantum computers /