3239 search results - page 38 / 648 » A Logical Process Calculus |
127
click to vote
PLILP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
105
Voted
ACS
2005
15 years 13 days ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
102
Voted
ICCD
2008
IEEE
15 years 9 months ago
2008
IEEE
- A gate level probabilistic error propagation model is presented which takes as input the Boolean function of the gate, the signal and error probabilities of the gate inputs, and ...
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
95
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...