Search Sciweavers | Sciweavers

234 search results - page 21 / 47

» On Quasi-Products of Tree Automata

click to vote

ICALP
2007
Springer

97views Programming Languages» more ICALP 2007»

Unranked Tree Automata with Sibling Equalities and Disequalities

15 years 7 months ago

Download www-i7.informatik.rwth-aachen.de

Karianto Wong, Christof Löding

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

101views Theoretical Computer Science» more SOFSEM 2007»

Restarting Tree Automata

15 years 7 months ago

Download www.theory.informatik.uni-kassel.de

Heiko Stamer, Friedrich Otto

claim paper

Read More »

click to vote

WIA
2007
Springer

129views Artificial Intelligence» more WIA 2007»

An Implementation of Deterministic Tree Automata Minimization

15 years 7 months ago

Download www.dlsi.ua.es

Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada

claim paper

Read More »

click to vote

ATVA
2005
Springer

93views Hardware» more ATVA 2005»

A Static Analysis Using Tree Automata for XML Access Control

15 years 7 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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers