2004
DOI: 10.1007/978-3-540-27836-8_94
|View full text |Cite
|
Sign up to set email alerts
|

Counting in Trees for Free

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
127
0

Year Published

2005
2005
2013
2013

Publication Types

Select...
7
1

Relationship

2
6

Authors

Journals

citations
Cited by 77 publications
(127 citation statements)
references
References 23 publications
0
127
0
Order By: Relevance
“…Several lines of work closely resemble those for node-labeled trees: e.g., [DLM04] introduced Presburger conditions on children, defined an automaton model, and proved decidability, similarly to [SSM03,SS+04].…”
Section: 2mentioning
confidence: 99%
See 1 more Smart Citation
“…Several lines of work closely resemble those for node-labeled trees: e.g., [DLM04] introduced Presburger conditions on children, defined an automaton model, and proved decidability, similarly to [SSM03,SS+04].…”
Section: 2mentioning
confidence: 99%
“…We now define MSO mod [Cou90] as an extension of MSO with modulo quantifiers: for each set variable X, and k > 1, we have set new formulae Q k (X) which are true iff the cardinality of X is congruent to 0 modulo k. Further extensions in terms of arithmetic power have been considered in [SSM03,SS+04]. Recall that Presburger arithmetic refers to the FO theory of the structure N, + , and it is known that this structure admits quantifier elimination in the vocabulary (+, <, 0, 1, (∼ k ) k∈N ) where n ∼ k m iff n − m = 0(mod k).…”
Section: 2mentioning
confidence: 99%
“…This set of conjuncts ensures that each computation corresponds to a traversal of the graphs of the processes. This is inspired by the construction of an existential Presburger formula for the Parikh image of the language of finite-state automata [30].…”
Section: Translationmentioning
confidence: 99%
“…Tree automata were intensively studied in the literature, in particular for program veri cation, where tree automata provide abstraction-based approximations of program con gurations. In this direction, several classes of extended automata were de ned in order to provide ner approximations [4,12,10,17,33,24,31,23].…”
Section: Conclusion and Related Workmentioning
confidence: 99%