Search Sciweavers | Sciweavers

ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1

Gregory Kucherov, Mohamed Tajine

claim paper

Read More »

130

click to vote

FOCS
1992
IEEE

135views Theoretical Computer Science» more FOCS 1992»

Back to the Future: Towards a Theory of Timed Regular Languages

15 years 10 months ago

Download www.cs.berkeley.edu

Rajeev Alur, Thomas A. Henzinger

claim paper

Read More »

120

click to vote

FORMATS
2006
Springer

85views Formal Methods» more FORMATS 2006»

Intersection of Regular Signal-Event (Timed) Languages

15 years 9 months ago

Download www.lamsade.dauphine.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

151

click to vote

DSL
1997

109views Programming Languages» more DSL 1997»

A Domain-Specific Language for Regular Sets of Strings and Trees

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers