4961 search results - page 17 / 993 » Homomorphism-Homogeneous Relational Structures |
123
Voted
RELMICS
1998
Springer
15 years 7 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...
127
Voted
FOSSACS
2007
Springer
15 years 9 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...
117
Voted
ISCAS
2003
IEEE
15 years 8 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...
155
Voted
PEPM
2011
ACM
14 years 5 months 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...
123
Voted
KR
2004
Springer
15 years 8 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 ...