Sciweavers

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