65 search results - page 4 / 13 » logcom 2006 |
69
Voted
LOGCOM
2006
15 years 5 days ago
2006
110
Voted
LOGCOM
2006
15 years 5 days ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
LOGCOM
2002
14 years 12 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
15 years 5 days 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...
72
Voted
LOGCOM
2000
15 years 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...