Sciweavers

18 search results - page 1 / 4
» dlt 2009
Sort
View
DLT
2009
13 years 2 months ago
Definability in the Infix Order on Words
Oleg V. Kudinov, Victor L. Selivanov
DLT
2009
13 years 2 months ago
Strongly Regular Grammars and Regular Approximation of Context-Free Languages
Abstract. We consider algorithms for approximating context
Ömer Egecioglu
DLT
2009
13 years 2 months ago
Weighted Timed MSO Logics
We aim to generalize B
Karin Quaas
DLT
2009
13 years 2 months ago
Factorization Forests
A survey of applications of factorization forests. Fix a regular language L A . You are given a word a1
Mikolaj Bojanczyk