Sciweavers

759 search results - page 24 / 152
» Odometers on Regular Languages
Sort
View
ICALP
2010
Springer
15 years 2 months ago
Pumping and Counting on the Regular Post Embedding Problem
Abstract. The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular con...
Pierre Chambart, Philippe Schnoebelen
DLT
2008
14 years 11 months ago
Construction of Tree Automata from Regular Expressions
Abstract. Since recognizable tree languages are closed under the rational operations, every regular tree expression denotes a recognizable tree language. We provide an alternative ...
Dietrich Kuske, Ingmar Meinecke
DBPL
2009
Springer
152views Database» more  DBPL 2009»
15 years 4 months ago
An Automata-Theoretic Approach to Regular XPath
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
IFL
2007
Springer
110views Formal Methods» more  IFL 2007»
15 years 3 months ago
XHaskell - Adding Regular Expression Types to Haskell
Martin Sulzmann, Kenny Zhuo Ming Lu
VLDB
1990
ACM
116views Database» more  VLDB 1990»
15 years 1 months ago
Factoring Augmented Regular Chain Programs
In previous papers we have proposed a graphical query language for expressing traversal recursions in labelled, directed graphs. A fundamental feature of the language is the use o...
Peter T. Wood