480 search results - page 1 / 96 » Continuations for parallel logic programming |
PPDP
2000
Springer
14 years 9 months ago
2000
Springer
CONCUR
2007
Springer
14 years 9 months ago
2007
Springer
LICS
2009
IEEE
15 years 8 days 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
14 years 10 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
15 years 6 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...