Search Sciweavers | Sciweavers

759 search results - page 18 / 152

» Odometers on Regular Languages

click to vote

FOCS
1999
IEEE

89views Theoretical Computer Science» more FOCS 1999»

Regular Languages Are Testable with a Constant Number of Queries

13 years 11 months ago

Download www.cs.tau.ac.il

Noga Alon, Michael Krivelevich, Ilan Newman, Mario...

claim paper

Read More »

click to vote

CTRS
1992

125views Theoretical Computer Science» more CTRS 1992»

Decidability of Regularity and Related Properties of Ground Normal Form Languages

13 years 11 months ago

Download www2.lifl.fr

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 »

click to vote

FOCS
1992
IEEE

135views Theoretical Computer Science» more FOCS 1992»

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

13 years 11 months ago

Download www.cs.berkeley.edu

Rajeev Alur, Thomas A. Henzinger

claim paper

Read More »

click to vote

FORMATS
2006
Springer

85views Formal Methods» more FORMATS 2006»

Intersection of Regular Signal-Event (Timed) Languages

13 years 11 months ago

Download www.lamsade.dauphine.fr

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

claim paper

Read More »

click to vote

DSL
1997

109views Programming Languages» more DSL 1997»

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

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers