✦ LIBER ✦

[Lecture Notes in Computer Science] Machines, Computations, and Universality Volume 4664 || More on the Size of Higman-Haines Sets: Effective Constructions

✍ Scribed by Durand-Lose, Jérôme; Margenstern, Maurice

Book ID: 111932990
Publisher: Springer Berlin Heidelberg
Year: 2007
Tongue: German
Weight: 442 KB
Category: Article
ISBN: 3540745939
DOI: 10.1007/978-3-540-74593-8_17

No coin nor oath required. For personal study only.

✦ Synopsis

This Book Constitutes The Refereed Proceedings Of The 5th International Conference On Machines, Computations, And Universality, Mcu 2007, Held In Orleans, France, September 2007. The 18 Revised Full Papers Presented Together With Nine Invited Papers Cover Turing Machines, Register Machines, Word Processing, Cellular Automata, Tiling Of The Plane, Neural Networks, Molecular Computations, Bss Machines, Infinite Cellular Automata, Real Machines, And Quantum Computing.

📜 SIMILAR VOLUMES

[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] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || On the use of the constructive omega-rule within automated deduction

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag ⚖ 856 KB

[Lecture Notes in Computer Science] 8th

[Lecture Notes in Computer Science] 8th International Conference on Automated Deduction Volume 230 || NP-completeness of the set unification and matching problems

✍ Siekmann, Jörg H. 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 370 KB

[Lecture Notes in Computer Science] Para

[Lecture Notes in Computer Science] Parallel Lisp: Languages and Systems Volume 441 || Design of the shared memory system for multi-processor lisp machines and its implementation on the evlis machine

✍ Ito, Takayasu; Halstead, Robert H. 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 429 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Science and Its Applications – ICCSA 2008 Volume 5072 || A Comparison of the Isotope Effect for the N + N2 Reaction Calculated on Two Potential Energy Surfaces

✍ Gervasi, Osvaldo; Murgante, Beniamino; Laganà, Antonio; Taniar, David; Mun, Youn 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 649 KB