1071 search results - page 2 / 215 » Theories of Automatic Structures and Their Complexity |
CSL
2009
Springer
14 years 1 days 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...
ICANN
2009
Springer
13 years 10 months ago
2009
Springer
SIGSOFT
2006
ACM
13 years 11 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
STACS
2005
Springer
13 years 11 months ago
2005
Springer
Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations. This article introduces a refined notion of ...
LICS
2008
IEEE
13 years 12 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...