65 search results - page 4 / 13 » logcom 2006 |
LOGCOM
2006
14 years 9 months ago
2006
LOGCOM
2006
14 years 9 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
LOGCOM
2002
14 years 9 months ago
2002
In this paper we define the notion of a block algebra, which is based upon a spatial application of Allen's interval algebra. In the
LOGCOM
2006
14 years 9 months ago
2006
We categorize in recursion-theoretic terms the expressivity of a number of first-order languages that allow quantification over regions in Euclidean space. Specifically we show th...
LOGCOM
2000
14 years 9 months ago
2000
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...