4961 search results - page 17 / 993 » Homomorphism-Homogeneous Relational Structures |
RELMICS
1998
Springer
14 years 2 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
FOSSACS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
The work is concerned with investigation of spatio-temporal phenomena on mutually coupled CNN array. Besides pattern formation and active wave propagation, we found that other int...
PEPM
2011
ACM
13 years 20 days ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
KR
2004
Springer
14 years 3 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...