Search Sciweavers | Sciweavers

500 search results - page 28 / 100

» Streaming tree automata

click to vote

FSTTCS
2004
Springer

89views Software Engineering» more FSTTCS 2004»

Alternation in Equational Tree Automata Modulo XOR

15 years 7 months ago

Download www2.cs.tum.edu

Kumar Neeraj Verma

claim paper

Read More »

Voted

FSTTCS
2006
Springer

91views Software Engineering» more FSTTCS 2006»

Tree Automata Make Ordinal Theory Easy

15 years 5 months ago

Download www.liafa.jussieu.fr

Thierry Cachat

claim paper

Read More »

click to vote

CORR
2008
Springer

93views Education» more CORR 2008»

Visibly Tree Automata with Memory and Constraints

15 years 1 months ago

Download www.lsv.ens-cachan.fr

Hubert Comon-Lundh, Florent Jacquemard, Nicolas Pe...

claim paper

Read More »

Voted

CORR
2008
Springer

76views Education» more CORR 2008»

Alternating Automata on Data Trees and XPath Satisfiability

15 years 1 months ago

Download tocl.acm.org

Marcin Jurdzinski, Ranko Lazic

claim paper

Read More »

click to vote

FUIN
2008

80views more FUIN 2008»

Products of Tree Automata with an Application to Temporal Logic

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers