Sciweavers

759 search results - page 24 / 152
» Odometers on Regular Languages
Sort
View
ICALP
2010
Springer
14 years 3 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 9 days 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»
14 years 5 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»
14 years 5 months ago
XHaskell - Adding Regular Expression Types to Haskell
Martin Sulzmann, Kenny Zhuo Ming Lu
VLDB
1990
ACM
116views Database» more  VLDB 1990»
14 years 2 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