Evolving Computability - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer International Publishing

9783319200279, 9783319200286

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Degrees of Unsolvability: A Tutorial

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_9 ◽

2015 ◽

pp. 83-94 ◽

Author(s):

Stephen G. Simpson

Keyword(s):

Degrees Of Unsolvability

Download Full-text

Kalmár and Péter: Undecidability as a Consequence of Incompleteness

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_35 ◽

2015 ◽

pp. 343-352

Author(s):

Máté Szabó

Download Full-text

On the Computational Content of Termination Proofs

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_28 ◽

2015 ◽

pp. 276-285 ◽

Author(s):

Georg Moser ◽

Thomas Powell

Keyword(s):

Termination Proofs

Download Full-text

A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_27 ◽

2015 ◽

pp. 268-275 ◽

Author(s):

Timothy H. McNicholl

Keyword(s):

Computable Categoricity

Download Full-text

Some Results on Interactive Proofs for Real Computations

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_11 ◽

2015 ◽

pp. 107-116

Author(s):

Martijn Baartse ◽

Klaus Meer

Keyword(s):

Interactive Proofs

Download Full-text

Immune Systems in Computer Virology

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_13 ◽

2015 ◽

pp. 127-136

Author(s):

Guillaume Bonfante ◽

Mohamed El-Aqqad ◽

Benjamin Greenbaum ◽

Mathieu Hoyrup

Keyword(s):

Download Full-text

Covering the Recursive Sets

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_5 ◽

2015 ◽

pp. 44-53

Author(s):

Bjørn Kjos-Hanssen ◽

Frank Stephan ◽

Sebastiaan A. Terwijn

Download Full-text

Universality in Molecular and Cellular Computing

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_10 ◽

2015 ◽

pp. 95-104

Author(s):

Sergey Verlan

Keyword(s):

Cellular Computing

Download Full-text

On Distributed Monitoring and Synthesis

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_6 ◽

2015 ◽

pp. 54-62

Author(s):

Anca Muscholl

Keyword(s):

Distributed Monitoring

Download Full-text

Computing Equality-Free String Factorisations

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_32 ◽

2015 ◽

pp. 313-323 ◽

Author(s):

Markus L. Schmid

Download Full-text