1071 search results - page 1 / 215 » Theories of Automatic Structures and Their Complexity |
CAI
2009
Springer
13 years 11 months ago
2009
Springer
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
DAGSTUHL
2010
13 years 6 months ago
2010
Visualizations are well suited to communicate large amounts of complex data. With increasing resolution in the spatial and temporal domain simple imaging techniques meet their lim...
ELPUB
2006
ACM
13 years 10 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
FROCOS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...