New Computational Paradigms - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

68

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540261797, 9783540322665

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Author(s):

Paola Bonizzoni ◽

Clelia De Felice ◽

Giancarlo Mauri

Keyword(s):

Recombinant Dna ◽

Formal Languages ◽

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 ◽

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):

Download Full-text

Schnorr Dimension

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_13 ◽

2005 ◽

pp. 96-105 ◽

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 ◽

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 ◽

Author(s):

Jérôme Durand-Lose

Download Full-text

Geometric Software: Robustness Issues and Model of Computation

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_36 ◽

2005 ◽

pp. 297-298

Author(s):

André Lieutier

Keyword(s):

Model Of Computation ◽

Software Robustness

Download Full-text

Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_68 ◽

2005 ◽

pp. 562-571 ◽

Author(s):

Martin Ziegler

Keyword(s):

The Real ◽

Arithmetic Hierarchy

Download Full-text

Shrad: A Language for Sequential Real Number Computation

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_16 ◽

2005 ◽

pp. 128-128

Author(s):

Amin Farjudian

Keyword(s):

Download Full-text