4767 search results - page 279 / 954 » Structures for Abstract Rewriting |
181
click to vote
CIE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...
140
click to vote
GD
2007
Springer
16 years 23 days ago
2007
Springer
We propose a visualization approach for large dynamic graph structures with high degree variation and low diameter. In particular, we reduce visual complexity by multiple modes of ...
199
click to vote
MEMOCODE
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
126
click to vote
CIE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
159
click to vote
FROCOS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...