778 search results - page 4 / 156 » Expressiveness and complexity of graph logic |
LICS
2012
IEEE
11 years 8 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
COCO
1997
Springer
13 years 10 months ago
1997
Springer
LICS
1990
IEEE
13 years 10 months ago
1990
IEEE
JAR
2008
13 years 6 months ago
2008
CC
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...