Sciweavers

79

CIE
2006
Springer

70views Applied Computing» more CIE 2006»

A Subrecursive Refinement of the Fundamental Theorem of Algebra

15 years 7 months ago

A Subrecursive Refinement of the Fundamental Theorem of Algebra

Download www.cs.swan.ac.uk

Peter Peshev, Dimiter Skordev

claim paper

Read More »

108

EEE
2004
IEEE

94views Information Technology» more EEE 2004»

A Study on Contents Distribution Using Electronic Cash System

15 years 7 months ago

A Study on Contents Distribution Using Electronic Cash System

Download nccur.lib.nccu.edu.tw

Deok-Gyu Lee, Hyung-Geun Oh, Im-Yeong Lee

claim paper

Read More »

92

CIE
2006
Springer

71views Applied Computing» more CIE 2006»

Partial Continuous Functions and Admissible Domain Representations

15 years 7 months ago

Partial Continuous Functions and Admissible Domain Representations

Download www.cs.swan.ac.uk

Fredrik Dahlgren

claim paper

Read More »

69

CIE
2006
Springer

97views Applied Computing» more CIE 2006»

Prefix-Like Complexities and Computability in the Limit

15 years 7 months ago

Prefix-Like Complexities and Computability in the Limit

Download www.cs.swan.ac.uk

Alexey V. Chernov, Jürgen Schmidhuber

claim paper

Read More »

134

Voted

CIE
2006
Springer

155views Applied Computing» more CIE 2006»

Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis

15 years 7 months ago

Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis

Download www.eecs.qmul.ac.uk

This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...

Paulo Oliva

claim paper

Read More »