759 search results - page 42 / 152 » Overlap-Free Regular Languages |
TCS
2008
14 years 9 months ago
2008
ACTAC
2004
14 years 9 months ago
2004
COLING
2000
14 years 9 months ago
2000
MFCS
2005
Springer
15 years 3 months ago
2005
Springer
Systems of language equations of the form {ϕ(X1, . . . , Xn) = ∅, ψ(X1, . . . , Xn) = ∅} are studied, where ϕ, ψ may contain set-theoretic operations and concatenation; the...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...