Language, Life, Limits - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

42

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319080185, 9783319080192

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Equivalence of Automata for KAT-expressions

Language, Life, Limits - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08019-2_8 ◽

2014 ◽

pp. 73-83 ◽

Author(s):

Sabine Broda ◽

António Machiavelo ◽

Nelma Moreira ◽

Rogério Reis

Download Full-text

Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries

Language, Life, Limits - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08019-2_11 ◽

2014 ◽

pp. 103-112 ◽

Author(s):

Zoltán Ernő Csajbók ◽

Tamás Mihálydeák

Keyword(s):

Membrane Systems

Download Full-text

Constraint Logic Programming for Resolution of Relative Time Expressions

Language, Life, Limits - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08019-2_10 ◽

2014 ◽

pp. 93-102

Author(s):

Henning Christiansen

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Download Full-text

Modeling Life as Cognitive Info-computation

Language, Life, Limits - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08019-2_16 ◽

2014 ◽

pp. 153-162 ◽

Author(s):

Gordana Dodig-Crnkovic

Download Full-text

Algorithmic Randomness for Infinite Time Register Machines

Language, Life, Limits - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08019-2_9 ◽

2014 ◽

pp. 84-92 ◽

Author(s):

Merlin Carl

Keyword(s):

Algorithmic Randomness ◽

Download Full-text

Fit-Preserving Data Refinement of Mass-Action Reaction Networks

Language, Life, Limits - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08019-2_21 ◽

2014 ◽

pp. 204-213 ◽

Author(s):

Cristian Gratie ◽

Ion Petre

Keyword(s):

Mass Action ◽

Reaction Networks ◽

Data Refinement

Download Full-text

Lines Missing Every Random Point

Language, Life, Limits - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08019-2_29 ◽

2014 ◽

pp. 283-292

Author(s):

Jack H. Lutz ◽

Neil Lutz

Keyword(s):

Download Full-text

Pluralism Ignored: The Church-Turing Thesis and Philosophical Practice

Language, Life, Limits - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08019-2_39 ◽

2014 ◽

pp. 373-382

Author(s):

G. Graham White

Keyword(s):

Philosophical Practice ◽

Download Full-text

Short Lists with Short Programs in Short Time – A Short Proof

Language, Life, Limits - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08019-2_42 ◽

2014 ◽

pp. 403-408 ◽

Author(s):

Marius Zimand

Keyword(s):

Short Proof ◽

Download Full-text

Algorithms and Their Explanations

Language, Life, Limits - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08019-2_4 ◽

2014 ◽

pp. 32-41

Author(s):

Marco Benini ◽

Federico Gobbo

Download Full-text