Language, Life, Limits

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Computability and Categoricity of Ultrahomogeneous Structures
3. Altmetric Badge
   Chapter 2 Parameterized Inapproximability of Target Set Selection and Generalizations
4. Altmetric Badge
   Chapter 3 How can Grammatical Inference Contribute to Computational Linguistics?
5. Altmetric Badge
   Chapter 4 Algorithms and Their Explanations
6. Altmetric Badge
   Chapter 5 Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability
7. Altmetric Badge
   Chapter 6 Uniform Schemata for Proof Rules
8. Altmetric Badge
   Chapter 7 Graph Polynomials Motivated by Gene Rearrangements in Ciliates
9. Altmetric Badge
   Chapter 8 On the Equivalence of Automata for KAT -expressions
10. Altmetric Badge
    Chapter 9 Algorithmic Randomness for Infinite Time Register Machines
11. Altmetric Badge
    Chapter 10 Constraint Logic Programming for Resolution of Relative Time Expressions
12. Altmetric Badge
    Chapter 11 Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries
13. Altmetric Badge
    Chapter 12 Learnability Thesis Does Not Entail Church’s Thesis
14. Altmetric Badge
    Chapter 13 Phase Transitions Related to the Pigeonhole Principle
15. Altmetric Badge
    Chapter 14 Generic Parallel Algorithms
16. Altmetric Badge
    Chapter 15 Isomorphisms of Non-Standard Fields and Ash’s Conjecture
17. Altmetric Badge
    Chapter 16 Modeling Life as Cognitive Info-computation
18. Altmetric Badge
    Chapter 17 Deciding the Borel Complexity of Regular Tree Languages
19. Altmetric Badge
    Chapter 18 Chemical Production and Molecular Computing in Addressable Reaction Compartments
20. Altmetric Badge
    Chapter 19 Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY
21. Altmetric Badge
    Chapter 20 Fixed Points and Attractors of Reaction Systems
22. Altmetric Badge
    Chapter 21 Fit-Preserving Data Refinement of Mass-Action Reaction Networks
23. Altmetric Badge
    Chapter 22 On Maximal Block Functions of Computable η -like Linear Orderings
24. Altmetric Badge
    Chapter 23 Lossiness of Communication Channels Modeled by Transducers
25. Altmetric Badge
    Chapter 24 Predicate Characterizations in the Polynomial-Size Hierarchy
26. Altmetric Badge
    Chapter 25 Function Spaces for Second-Order Polynomial Time
27. Altmetric Badge
    Chapter 26 Complexity of Operation Problems
28. Altmetric Badge
    Chapter 27 A Computational Model of XACML–Based Access Control Management in Distributed Networks
29. Altmetric Badge
    Chapter 28 Early Machine Translation
30. Altmetric Badge
    Chapter 29 Lines Missing Every Random Point
31. Altmetric Badge
    Chapter 30 Natural Descriptions and Anthropic Bias: Extant Problems In Solomonoff Induction
32. Altmetric Badge
    Chapter 31 An Efficient Algorithm for the Equation Tree Automaton via the k -C-Continuations
33. Altmetric Badge
    Chapter 32 On the Effectiveness of Symmetry Breaking
34. Altmetric Badge
    Chapter 33 On the Ramseyan Factorization Theorem
35. Altmetric Badge
    Chapter 34 The Complexity of Satisfaction Problems in Reverse Mathematics
36. Altmetric Badge
    Chapter 35 An Early Completion Algorithm: Thue’s 1914 Paper on the Transformation of Symbol Sequences
37. Altmetric Badge
    Chapter 36 Metric-Driven Grammars and Morphogenesis (Extended Abstract)
38. Altmetric Badge
    Chapter 37 Hyperprojective Hierarchy of qcb 0 -Spaces
39. Altmetric Badge
    Chapter 38 Online Bin Packing: Old Algorithms and New Results
40. Altmetric Badge
    Chapter 39 Pluralism Ignored: The Church-Turing Thesis and Philosophical Practice
41. Altmetric Badge
    Chapter 40 The FPGA-Based High-Performance Computer RIVYERA for Applications in Bioinformatics
42. Altmetric Badge
    Chapter 41 Exploiting Membrane Features to Compute
43. Altmetric Badge
    Chapter 42 Short Lists with Short Programs in Short Time – A Short Proof