Search Sciweavers | Sciweavers

263 search results - page 24 / 53

» Rigid Tree Automata

click to vote

ATVA
2005
Springer

93views Hardware» more ATVA 2005»

A Static Analysis Using Tree Automata for XML Access Control

14 years 1 months ago

Download unit.aist.go.jp

Isao Yagi, Yoshiaki Takata, Hiroyuki Seki

claim paper

Read More »

click to vote

FSTTCS
2004
Springer

89views Software Engineering» more FSTTCS 2004»

Alternation in Equational Tree Automata Modulo XOR

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

13 years 11 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 7 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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers