Lecture Notes in Computer Science - Computation and Logic in the Real World
Latest Publications

TOTAL DOCUMENTS

87

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540730002, 9783540730019

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Refocusing Generalised Normalisation

Lecture Notes in Computer Science - Computation and Logic in the Real World ◽

10.1007/978-3-540-73001-9_27 ◽

2007 ◽

pp. 258-267 ◽

Author(s):

José Espírito Santo

Download Full-text

Theories and Ordinals: Ordinal Analysis

Lecture Notes in Computer Science - Computation and Logic in the Real World ◽

10.1007/978-3-540-73001-9_65 ◽

2007 ◽

pp. 632-637

Author(s):

Michael Rathjen

Keyword(s):

Ordinal Analysis

Download Full-text

Computability in Amorphous Structures

Lecture Notes in Computer Science - Computation and Logic in the Real World ◽

10.1007/978-3-540-73001-9_83 ◽

2007 ◽

pp. 781-790 ◽

Author(s):

Jiří Wiedermann ◽

Lukáš Petru

Keyword(s):

Amorphous Structures

Download Full-text

Natural Computing: A Natural and Timely Trend for Natural Sciences and Science of Computation

Lecture Notes in Computer Science - Computation and Logic in the Real World ◽

10.1007/978-3-540-73001-9_69 ◽

2007 ◽

pp. 670-671 ◽

Author(s):

Grzegorz Rozenberg

Keyword(s):

Natural Sciences ◽

Natural Computing

Download Full-text

Finding Most Likely Solutions

Lecture Notes in Computer Science - Computation and Logic in the Real World ◽

10.1007/978-3-540-73001-9_81 ◽

2007 ◽

pp. 758-767

Author(s):

Osamu Watanabe ◽

Mikael Onsjö

Download Full-text

Logic and Control

Lecture Notes in Computer Science - Computation and Logic in the Real World ◽

10.1007/978-3-540-73001-9_61 ◽

2007 ◽

pp. 585-597 ◽

Author(s):

Anil Nerode

Keyword(s):

Download Full-text

The Polynomial and Linear Hierarchies in V0

Lecture Notes in Computer Science - Computation and Logic in the Real World ◽

10.1007/978-3-540-73001-9_42 ◽

2007 ◽

pp. 408-415 ◽

Author(s):

Leszek Aleksander Kołodziejczyk ◽

Neil Thapen

Keyword(s):

Linear Hierarchies

Download Full-text

Unique Existence and Computability in Constructive Reverse Mathematics

Lecture Notes in Computer Science - Computation and Logic in the Real World ◽

10.1007/978-3-540-73001-9_38 ◽

2007 ◽

pp. 368-377 ◽

Author(s):

Hajime Ishihara

Keyword(s):

Reverse Mathematics ◽

Unique Existence ◽

Constructive Reverse Mathematics

Download Full-text

Liquid Computing

Lecture Notes in Computer Science - Computation and Logic in the Real World ◽

10.1007/978-3-540-73001-9_53 ◽

2007 ◽

pp. 507-516 ◽

Author(s):

Wolfgang Maass

Download Full-text

Doing Without Turing Machines: Constructivism and Formal Topology

Lecture Notes in Computer Science - Computation and Logic in the Real World ◽

10.1007/978-3-540-73001-9_71 ◽

2007 ◽

pp. 674-675

Author(s):

Giovanni Sambin

Keyword(s):

Turing Machines ◽

Formal Topology

Download Full-text