4767 search results - page 112 / 954 » Structures for Abstract Rewriting |
154
Voted
ICFEM
2010
Springer
15 years 20 days ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
109
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents a general technique for optimally transforming any dynamic data structure D that operates on atomic and indivisible keys by constant-time comparisons,...
96
Voted
CSL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. It it shown that the first-order theory of an automatic structure, whose Gaifman graph has bounded degree, is decidable in doubly exponential space (for injective automa...
130
click to vote
ECAL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Structural hallmarks of language can be explained in terms of adaptation, by language, to pressures arising during its cultural transmission. Here I present a model which...
118
click to vote
RML
2006
15 years 2 months ago
2006
Abstract. A topos version of Cantor's back and forth theorem is established and used to prove that the ordered structure of the rational numbers Q, < is homogeneous in any ...