Search Sciweavers | Sciweavers

254 search results - page 25 / 51

» Restarting Tree Automata

click to vote

FSTTCS
2004
Springer

89views Software Engineering» more FSTTCS 2004»

Alternation in Equational Tree Automata Modulo XOR

14 years 2 months ago

Download www2.cs.tum.edu

Kumar Neeraj Verma

claim paper

Read More »

click to vote

FSTTCS
2006
Springer

91views Software Engineering» more FSTTCS 2006»

Tree Automata Make Ordinal Theory Easy

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

13 years 9 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

click to vote

CORR
2008
Springer

76views Education» more CORR 2008»

Alternating Automata on Data Trees and XPath Satisfiability

13 years 9 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

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers