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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

Author(s):

José Espírito Santo

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

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 ◽

Cited By ~ 5

Author(s):

Jiří Wiedermann ◽

Lukáš Petru

Keyword(s):

Amorphous Structures

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 ◽

Cited By ~ 1

Author(s):

Grzegorz Rozenberg

Keyword(s):

Natural Sciences ◽

Natural Computing

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ö

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 ◽

Cited By ~ 3

Author(s):

Anil Nerode

Keyword(s):

And Control

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 ◽

Cited By ~ 1

Author(s):

Leszek Aleksander Kołodziejczyk ◽

Neil Thapen

Keyword(s):

Linear Hierarchies

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 ◽

Cited By ~ 2

Author(s):

Hajime Ishihara

Keyword(s):

Reverse Mathematics ◽

Unique Existence ◽

Constructive Reverse Mathematics

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 ◽

Cited By ~ 12

Author(s):

Wolfgang Maass

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

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Refocusing Generalised Normalisation

Theories and Ordinals: Ordinal Analysis

Computability in Amorphous Structures

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

Finding Most Likely Solutions

Logic and Control

The Polynomial and Linear Hierarchies in V0

Unique Existence and Computability in Constructive Reverse Mathematics

Liquid Computing

Doing Without Turing Machines: Constructivism and Formal Topology

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