1052 search results - page 48 / 211 » The Regular Real-Time Languages |
91
Voted
WIA
2007
Springer
15 years 9 months ago
2007
Springer
96
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
122
Voted
STACS
2001
Springer
15 years 8 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
89
Voted
FOCS
1999
IEEE
15 years 7 months ago
1999
IEEE
133
Voted
CTRS
1992
15 years 7 months ago
1992
ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1