Logical Approaches to Computational Barriers - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

61

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540354666, 9783540354680

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Primitive Recursive Selection Functions over Abstract Algebras

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_61 ◽

2006 ◽

pp. 595-606

Author(s):

J. I. Zucker

Keyword(s):

Primitive Recursive

Download Full-text

Random Closed Sets

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_6 ◽

2006 ◽

pp. 55-64 ◽

Author(s):

Paul Brodhead ◽

Douglas Cenzer ◽

Seyyed Dashti

Keyword(s):

Closed Sets ◽

Random Closed Sets

Download Full-text

Co-total Enumeration Degrees

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_55 ◽

2006 ◽

pp. 538-545 ◽

Author(s):

Boris Solon

Keyword(s):

Enumeration Degrees

Download Full-text

Gödel’s Conflicting Approaches to Effective Calculability

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_54 ◽

2006 ◽

pp. 536-537

Author(s):

Wilfried Sieg

Download Full-text

The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_15 ◽

2006 ◽

pp. 137-146 ◽

Author(s):

Gregorio de Miguel Casado ◽

Juan Manuel García Chamizo

Keyword(s):

Processor Design ◽

Algebraic Models

Download Full-text

Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_53 ◽

2006 ◽

pp. 526-535 ◽

Author(s):

Shankara Narayanan Krishna

Keyword(s):

Lower Bounds ◽

P Systems ◽

Upper And Lower Bounds ◽

Computational Power

Download Full-text

Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_18 ◽

2006 ◽

pp. 163-172 ◽

Author(s):

Jérôme Durand-Lose

Download Full-text

A Subrecursive Refinement of the Fundamental Theorem of Algebra

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_45 ◽

2006 ◽

pp. 435-444 ◽

Author(s):

Peter Peshev ◽

Dimiter Skordev

Keyword(s):

Fundamental Theorem ◽

Fundamental Theorem Of Algebra

Download Full-text

Coinductive Proofs for Basic Real Computation

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_24 ◽

2006 ◽

pp. 221-230 ◽

Author(s):

Tie Hou

Download Full-text

Towards a Trichotomy for Quantified H-Coloring

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_36 ◽

2006 ◽

pp. 342-352 ◽

Author(s):

Barnaby Martin ◽

Florent Madelaine

Download Full-text