Sciweavers

2 search results - page 1 / 1
» ijfcs 2000
Sort
View
IJFCS
2000
46views more  IJFCS 2000»
14 years 10 months ago
Uniform Characterizations of Complexity Classes of Functions
Sven Kosub, Heinz Schmitz, Heribert Vollmer
46
Voted
IJFCS
2000
71views more  IJFCS 2000»
14 years 10 months ago
Light Affine Logic as a Programming Language: A First Contribution
This work is about an experimental paradigmatic functional language for programming with P-TIME functions. The language is designed from Intuitionistic Light Affine Logic. It can ...
Luca Roversi