Search Sciweavers | Sciweavers

762 search results - page 17 / 153

» Intercode Regular Languages

110

Voted

STOC
2005
ACM

85views Algorithms» more STOC 2005»

Tree-walking automata do not recognize all regular languages

16 years 4 months ago

Download www.liafa.jussieu.fr

Mikolaj Bojanczyk, Thomas Colcombet

claim paper

Read More »

101

click to vote

CAI
2009
Springer

93views Information Technology» more CAI 2009»

Polynomial Operators on Classes of Regular Languages

15 years 10 months ago

Download www.math.muni.cz

Ondrej Klíma, Libor Polák

claim paper

Read More »

click to vote

STACS
2007
Springer

79views Theoretical Computer Science» more STACS 2007»

On the Size of the Universal Automaton of a Regular Language

15 years 9 months ago

Download www-i7.informatik.rwth-aachen.de

Sylvain Lombardy

claim paper

Read More »

click to vote

WIA
2007
Springer

86views Artificial Intelligence» more WIA 2007»

Efficient Enumeration of Regular Languages

15 years 9 months ago

Download www.cs.uwaterloo.ca

Margareta Ackerman, Jeffrey Shallit

claim paper

Read More »

click to vote

TACAS
2005
Springer

105views Algorithms» more TACAS 2005»

Using Language Inference to Verify Omega-Regular Properties

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers