Sciweavers

1000 search results - page 29 / 200

» Dependency Tree Automata

100

FSTTCS
2004
Springer

89views Software Engineering» more FSTTCS 2004»

Alternation in Equational Tree Automata Modulo XOR

15 years 8 months ago

Alternation in Equational Tree Automata Modulo XOR

Download www2.cs.tum.edu

Kumar Neeraj Verma

claim paper

Read More »

92

Voted

FSTTCS
2006
Springer

91views Software Engineering» more FSTTCS 2006»

Tree Automata Make Ordinal Theory Easy

15 years 7 months ago

Tree Automata Make Ordinal Theory Easy

Download www.liafa.jussieu.fr

Thierry Cachat

claim paper

Read More »

82

Voted

CORR
2008
Springer

93views Education» more CORR 2008»

Visibly Tree Automata with Memory and Constraints

15 years 3 months ago

Visibly Tree Automata with Memory and Constraints

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

72

Voted

CORR
2008
Springer

76views Education» more CORR 2008»

Alternating Automata on Data Trees and XPath Satisfiability

15 years 3 months ago

Alternating Automata on Data Trees and XPath Satisfiability

Download tocl.acm.org

Marcin Jurdzinski, Ranko Lazic

claim paper

Read More »

88

Voted

FUIN
2008

80views more FUIN 2008»

Products of Tree Automata with an Application to Temporal Logic

15 years 3 months ago

Products of Tree Automata with an Application to Temporal Logic

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

« Prev « First page 29 / 200 Last » Next »