✦ LIBER ✦

[Lecture Notes in Computer Science] Reversible Computation Volume 7581 || Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine

✍ Scribed by Glück, Robert; Yokoyama, Tetsuo

Book ID: 120667182
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 224 KB
Category: Article
ISBN: 3642363156
DOI: 10.1007/978-3-642-36315-3_4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Impl

[Lecture Notes in Computer Science] Implementation of Functional Languages Volume 1868 || A Reversible SE(M)CD Machine

✍ Koopman, Pieter; Clack, Chris 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 204 KB

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999. The 11 revised full papers presented were carefully selected during two rounds of revi

[Lecture Notes in Computer Science] FSTT

[Lecture Notes in Computer Science] FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Volume 3821 || Refining the Undecidability Frontier of Hybrid Automata

✍ Sarukkai, Sundar; Sen, Sandeep 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 237 KB

This Book Constitutes The Refereed Proceedings Of The 25th International Conference On The Foundations Of Software Technology And Theoretical Computer Science, Fsttcs 2005, Held In Hyderabad, India, In December 2005. The 38 Revised Full Papers Presented Together With 7 Invited Papers Were Carefully

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Agents and Soft Computing Towards Enhancing Machine Intelligence Volume 1198 || The rise of machine intelligence

✍ Nwana, Hyacinth S.; Azarmi, Nader 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 512 KB

[Lecture Notes in Computer Science] Memb

[Lecture Notes in Computer Science] Membrane Computing Volume 7184 || The Modeling and the Simulation of the Fluid Machines of Synthetic Biology

✍ Gheorghe, Marian; Păun, Gheorghe; Rozenberg, Grzegorz; Salomaa, Arto; Verlan, Se 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 302 KB

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Membrane Computing, CMC 2011, held in Fontainebleau, France, in August 2011. The 19 revised selected papers presented were carefully reviewed and selected from 27 papers and 5 posters pr

[Lecture Notes in Computer Science] Mach

[Lecture Notes in Computer Science] Machines, Computations, and Universality Volume 3354 || Completing a Code in a Regular Submonoid of the Free Monoid

✍ Margenstern, Maurice 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 181 KB

[Lecture Notes in Computer Science] On t

[Lecture Notes in Computer Science] On the Computational Geometry of Pocket Machining Volume 500 || Chapter 7 The concept of monotonous areas

✍ Held, Martin 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 644 KB

In this monograph the author presents a thorough computational geometry approach to handling theoretical and practical problems arising from numerically controlled pocket machining. The approach unifies two scientific disciplines: computational geometry and mechanical engineering. Topics of practica