New Computational Paradigms - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540261797, 9783540322665

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

New Algorithmic Paradigms in Exponential Time Algorithms

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_52 ◽

2005 ◽

pp. 429-429

Author(s):

Uwe Schöning

Keyword(s):

Exponential Time ◽

Exponential Time Algorithms

Download Full-text

Recursion and Complexity

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_44 ◽

2005 ◽

pp. 350-357

Author(s):

Yiannis N. Moschovakis

Download Full-text

Hilbert’s Tenth Problem and Paradigms of Computation

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_39 ◽

2005 ◽

pp. 310-321 ◽

Cited By ~ 3

Author(s):

Yuri Matiyasevich

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Recombinant DNA ,Gene Splicing as Generative Devices of Formal Languages

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_8 ◽

2005 ◽

pp. 65-67 ◽

Cited By ~ 1

Author(s):

Paola Bonizzoni ◽

Clelia De Felice ◽

Giancarlo Mauri

Keyword(s):

Recombinant Dna ◽

Formal Languages ◽

Gene Splicing

Download Full-text

Formalising Exact Arithmetic in Type Theory

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_46 ◽

2005 ◽

pp. 368-377 ◽

Cited By ~ 5

Author(s):

Milad Niqui

Keyword(s):

Type Theory ◽

Exact Arithmetic

Download Full-text

The Computational Complexity of One-Dimensional Sandpiles

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_42 ◽

2005 ◽

pp. 342-348

Author(s):

Peter Bro Miltersen

Keyword(s):

Computational Complexity ◽

One Dimensional

Download Full-text

Combinatorial Models of Gene Assembly

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_23 ◽

2005 ◽

pp. 188-195

Author(s):

Tero Harju

Keyword(s):

Gene Assembly

Download Full-text

Schnorr Dimension

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_13 ◽

2005 ◽

pp. 96-105 ◽

Cited By ~ 2

Author(s):

Rodney Downey ◽

Wolfgang Merkle ◽

Jan Reimann

Download Full-text

Continuous Semantics for Strong Normalization

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_4 ◽

2005 ◽

pp. 23-34 ◽

Cited By ~ 4

Author(s):

Ulrich Berger

Keyword(s):

Strong Normalization

Download Full-text

Abstract Geometrical Computation: Turing-Computing Ability and Undecidability

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_14 ◽

2005 ◽

pp. 106-116 ◽

Cited By ~ 6

Author(s):

Jérôme Durand-Lose

Download Full-text

New Computational Paradigms - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

New Algorithmic Paradigms in Exponential Time Algorithms

Recursion and Complexity

Hilbert’s Tenth Problem and Paradigms of Computation

Recombinant DNA ,Gene Splicing as Generative Devices of Formal Languages

Formalising Exact Arithmetic in Type Theory

The Computational Complexity of One-Dimensional Sandpiles

Combinatorial Models of Gene Assembly

Schnorr Dimension

Continuous Semantics for Strong Normalization

Abstract Geometrical Computation: Turing-Computing Ability and Undecidability

New Computational Paradigms - Lecture Notes in Computer Science
Latest Publications