439 search results - page 3 / 88 » On Aperiodic Trace Languages |
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
POPL
1992
ACM
15 years 3 months ago
1992
ACM
63
Voted
ICALP
2000
Springer
15 years 3 months ago
2000
Springer
VEE
2009
ACM
15 years 6 months ago
2009
ACM
Today’s web applications are pushing the limits of modern web browsers. The emergence of the browser as the platform of choice for rich client-side applications has shifted the ...
CORR
1998
Springer
14 years 11 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...