480 search results - page 1 / 96 » Continuations for parallel logic programming |
PPDP
2000
Springer
13 years 8 months ago
2000
Springer
CONCUR
2007
Springer
13 years 8 months ago
2007
Springer
LICS
2009
IEEE
13 years 11 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
LPNMR
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
HPCA
2008
IEEE
14 years 5 months ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...