Sciweavers

2 search results - page 1 / 1
» ijfcs 2000
Sort
View
IJFCS
2000
46views more  IJFCS 2000»
13 years 5 months ago
Uniform Characterizations of Complexity Classes of Functions
Sven Kosub, Heinz Schmitz, Heribert Vollmer
IJFCS
2000
71views more  IJFCS 2000»
13 years 5 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