Programs, Proofs, Processes - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642139611, 9783642139628

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Note on the Least Informative Model of a Theory

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_38 ◽

2010 ◽

pp. 342-351 ◽

Cited By ~ 4

Author(s):

Jeff B. Paris ◽

Soroush R. Rad

Download Full-text

Proofs, Programs, Processes

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_5 ◽

2010 ◽

pp. 39-48 ◽

Cited By ~ 4

Author(s):

Ulrich Berger ◽

Monika Seisenberger

Download Full-text

Inference Concerning Physical Systems

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_48 ◽

2010 ◽

pp. 438-447 ◽

Cited By ~ 1

Author(s):

David H. Wolpert

Keyword(s):

Physical Systems

Download Full-text

Quasi-linear Dialectica Extraction

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_46 ◽

2010 ◽

pp. 417-426 ◽

Cited By ~ 1

Author(s):

Trifon Trifonov

Download Full-text

Undecidability in Weihrauch Degrees

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_29 ◽

2010 ◽

pp. 256-265 ◽

Cited By ~ 2

Author(s):

Oleg V. Kudinov ◽

Victor L. Selivanov ◽

Anton V. Zhukov

Download Full-text

DNA Rearrangements through Spatial Graphs

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_24 ◽

2010 ◽

pp. 211-218

Author(s):

Nataša Jonoska ◽

Masahico Saito

Keyword(s):

Dna Rearrangements ◽

Spatial Graphs

Download Full-text

Boole: From Calculating Numbers to Calculating Thoughts

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_19 ◽

2010 ◽

pp. 172-179 ◽

Cited By ~ 2

Author(s):

Michèle Friend

Download Full-text

Kolmogorov Complexity Cores

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_42 ◽

2010 ◽

pp. 376-385 ◽

Cited By ~ 1

Author(s):

André Souto

Keyword(s):

Kolmogorov Complexity

Download Full-text

Computational Interpretations of Analysis via Products of Selection Functions

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_16 ◽

2010 ◽

pp. 141-150 ◽

Cited By ~ 4

Author(s):

Martín Escardó ◽

Paulo Oliva

Download Full-text

The Peirce Translation and the Double Negation Shift

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_17 ◽

2010 ◽

pp. 151-161 ◽

Cited By ~ 2

Author(s):

Martín Escardó ◽

Paulo Oliva

Keyword(s):

Double Negation ◽

Double Negation Shift

Download Full-text

Programs, Proofs, Processes - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Note on the Least Informative Model of a Theory

Proofs, Programs, Processes

Inference Concerning Physical Systems

Quasi-linear Dialectica Extraction

Undecidability in Weihrauch Degrees

DNA Rearrangements through Spatial Graphs

Boole: From Calculating Numbers to Calculating Thoughts

Kolmogorov Complexity Cores

Computational Interpretations of Analysis via Products of Selection Functions

The Peirce Translation and the Double Negation Shift

Programs, Proofs, Processes - Lecture Notes in Computer Science
Latest Publications