Search Sciweavers | Sciweavers

762 search results - page 17 / 153

» Intercode Regular Languages

click to vote

STOC
2005
ACM

85views Algorithms» more STOC 2005»

Tree-walking automata do not recognize all regular languages

14 years 7 months ago

Download www.liafa.jussieu.fr

Mikolaj Bojanczyk, Thomas Colcombet

claim paper

Read More »

click to vote

CAI
2009
Springer

93views Information Technology» more CAI 2009»

Polynomial Operators on Classes of Regular Languages

14 years 2 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

14 years 1 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

14 years 1 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

14 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers