30 search results - page 2 / 6 » lics 2010 |
DT
2007
13 years 4 months ago
2007
LICS
2010
IEEE
13 years 2 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
ASPDAC
2010
ACM
13 years 2 months ago
2010
ACM
LICS
2010
IEEE
13 years 3 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
LICS
2010
IEEE
13 years 2 months ago
2010
IEEE
Several new undecidability results on isomorphism problems for automatic structures are shown: (i) The isomorphism problem for automatic equivalence relations is 0 1complete. (ii)...