2272 search results - page 1 / 455 » A Calculus for |
FMOODS
2003
13 years 6 months ago
2003
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
ROOM
2000
13 years 6 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
JOLLI
2011
13 years 4 days ago
2011
We define and study a calculus of discontinuity, a version of displacement calculus, which is a logic of segmented strings in exactly the same sense that the Lambek calculus is a ...
237
click to vote
Tutorial
This is a self-contained paper which introduces a fundamental problem
in the calculus of variations, the problem of nding extreme values
of functionals. The reader should have a...
TABLEAUX
1999
Springer
13 years 9 months ago
1999
Springer
We prove, by introducing a new kind of sequent calculus, that the decision problem for the non-associative Lambek calculus with product belongs to PTIME. This solves an open prolem...