Logic and Theory of Algorithms - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

61

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540694052, 9783540694076

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sequential Automatic Algebras

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_9 ◽

2008 ◽

pp. 84-93 ◽

Author(s):

Michael Brough ◽

Bakhadyr Khoussainov ◽

Peter Nelson

Download Full-text

Upper Semilattices in Many-One Degrees

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_53 ◽

2008 ◽

pp. 491-497

Author(s):

Sergei Podzorov

Download Full-text

Joining to High Degrees

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_40 ◽

2008 ◽

pp. 370-378

Author(s):

Jiang Liu ◽

Guohua Wu

Download Full-text

On the Computational Power of Enhanced Mobile Membranes

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_36 ◽

2008 ◽

pp. 326-335 ◽

Author(s):

Shankara Narayanan Krishna ◽

Gabriel Ciobanu

Keyword(s):

Computational Power

Download Full-text

Subrecursive Complexity of Identifying the Ramsey Structure of Posets

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_23 ◽

2008 ◽

pp. 196-205

Author(s):

Willem L. Fouché

Download Full-text

Pell Equations and Weak Regularity Principles

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_14 ◽

2008 ◽

pp. 129-138

Author(s):

Charalampos Cornaros

Keyword(s):

Weak Regularity ◽

Download Full-text

The Algebraic Counterpart of the Wagner Hierarchy

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_11 ◽

2008 ◽

pp. 100-109

Author(s):

Jérémie Cabessa ◽

Jacques Duparc

Keyword(s):

Algebraic Counterpart

Download Full-text

Hybrid Functional Interpretations

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_29 ◽

2008 ◽

pp. 251-260 ◽

Author(s):

Mircea-Dan Hernest ◽

Paulo Oliva

Keyword(s):

Hybrid Functional

Download Full-text

Union of Reducibility Candidates for Orthogonal Constructor Rewriting

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_54 ◽

2008 ◽

pp. 498-510 ◽

Author(s):

Colin Riba

Download Full-text

Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_41 ◽

2008 ◽

pp. 379-388

Author(s):

Iris Loeb

Keyword(s):

Uniform Continuity ◽

Continuity Theorem

Download Full-text