2333 search results - page 177 / 467 » Recursive Computational Depth |
168
click to vote
TLCA
1993
Springer
15 years 6 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
107
Voted
EUROPAR
2000
Springer
15 years 6 months ago
2000
Springer
A new parallel load distribution algorithm for unstructured parallel grid generation is presented. This new approach is based on a space-filling curve. The space-filling curve'...
114
click to vote
CSJM
2006
15 years 2 months ago
2006
It is known that P systems with two membranes and minimal symport/antiport rules are "almost" computationally complete as generators of number or vector sets. Interpreti...
121
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
107
click to vote
APAL
2005
15 years 2 months ago
2005
Abstract. There is a very simple way in which the safe/normal variable discipline of Bellantoni-Cook recursion (1992) can be imposed on arithmetical theories like PA: quantify over...