Sciweavers

85

CIE
2006
Springer

71views Applied Computing» more CIE 2006»

Logspace Complexity of Functions and Structures

15 years 9 months ago

Logspace Complexity of Functions and Structures

Download www.cs.swan.ac.uk

Douglas Cenzer, Zia Uddin

claim paper

Read More »

89

CIE
2006
Springer

104views Applied Computing» more CIE 2006»

Degrees of Weakly Computable Reals

15 years 9 months ago

Degrees of Weakly Computable Reals

Download www.cs.swan.ac.uk

Keng Meng Ng, Frank Stephan, Guohua Wu

claim paper

Read More »

96

CIE
2006
Springer

72views Applied Computing» more CIE 2006»

Can General Relativistic Computers Break the Turing Barrier?

15 years 9 months ago

Can General Relativistic Computers Break the Turing Barrier?

Download www.math-inst.hu

István Németi, Hajnal Andréka

claim paper

Read More »

90

CIE
2006
Springer

71views Applied Computing» more CIE 2006»

A Measure of Space for Computing over the Reals

15 years 9 months ago

A Measure of Space for Computing over the Reals

Download www-lipn.univ-paris13.fr

Paulin Jacobé de Naurois

claim paper

Read More »

115

CIE
2006
Springer

82views Applied Computing» more CIE 2006»

Deep Inference and Its Normal Form of Derivations

15 years 9 months ago

Deep Inference and Its Normal Form of Derivations

Download www.iam.unibe.ch

Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...

Kai Brünnler

claim paper

Read More »