Search Sciweavers | Sciweavers

1000 search results - page 29 / 200

» Dependency Tree Automata

click to vote

FSTTCS
2004
Springer

89views Software Engineering» more FSTTCS 2004»

Alternation in Equational Tree Automata Modulo XOR

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

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers