Sciweavers

219 search results - page 27 / 44
» Combinatorial Complexity of Regular Languages
Sort
View
135
Voted
LICS
2012
IEEE
13 years 2 months ago
Graph Logics with Rational Relations and the Generalized Intersection Problem
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
Pablo Barceló, Diego Figueira, Leonid Libki...
GG
2008
Springer
15 years 1 months ago
Transformation-Based Operationalization of Graph Languages
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
Erhard Weinell
197
Voted
PODS
2009
ACM
130views Database» more  PODS 2009»
16 years 28 days ago
The finite model theory toolbox of a database theoretician
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...
Leonid Libkin
83
Voted
MFCS
2007
Springer
15 years 6 months ago
Height-Deterministic Pushdown Automata
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
Dirk Nowotka, Jirí Srba
ECBS
2004
IEEE
93views Hardware» more  ECBS 2004»
15 years 4 months ago
Domain Independent Generative Modeling
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
Branislav Kusy, Ákos Lédeczi, Miklos...