1938 search results - page 1 / 388 » On Positive Relational Calculi |
IGPL
2007
13 years 4 months ago
2007
We discuss the question of inclusions between positive relational terms and some of its aspects, using the form of a dialogue. Two possible approaches to the problem are emphasize...
KI
2002
Springer
13 years 4 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
CMSB
2004
Springer
13 years 10 months ago
2004
Springer
We introduce a family of process calculi with dynamic nested membranes. In contrast to related calculi, including some developed for biological applications, active entities here a...
RELMICS
1997
Springer
13 years 9 months ago
1997
Springer
In this paper we extend an earlierapproach to graphicalrelationcalculitowards relational matching, thus allowing proofs with fewer auxiliary steps and concentrating more on the es...
JOLLI
2000
13 years 4 months ago
2000