2013
DOI: 10.1007/978-3-642-45114-0_7
|View full text |Cite
|
Sign up to set email alerts
|

Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
13
0

Year Published

2015
2015
2017
2017

Publication Types

Select...
2
2
1

Relationship

0
5

Authors

Journals

citations
Cited by 10 publications
(13 citation statements)
references
References 9 publications
0
13
0
Order By: Relevance
“…Actually, it was proven an EXPTIME bound for the fully enriched μ-calculus for trees. Generalizations of this result were later reported in [14], [15]. More precisely, EXPTIME bounds were also proven for the fully enriched μ-calculus for trees with generalizations of graded modalities, in [15] for global counting, and in [14] with Presburger constraints.…”
Section: A Related Workmentioning
confidence: 73%
See 4 more Smart Citations
“…Actually, it was proven an EXPTIME bound for the fully enriched μ-calculus for trees. Generalizations of this result were later reported in [14], [15]. More precisely, EXPTIME bounds were also proven for the fully enriched μ-calculus for trees with generalizations of graded modalities, in [15] for global counting, and in [14] with Presburger constraints.…”
Section: A Related Workmentioning
confidence: 73%
“…More precisely, EXPTIME bounds were also proven for the fully enriched μ-calculus for trees with generalizations of graded modalities, in [15] for global counting, and in [14] with Presburger constraints. In the current work, we import the EXPTIME reasoning bounds of μALCPIO from the μ-calculus as presented in [14]. This is achieved vía a polynomial reduction.…”
Section: A Related Workmentioning
confidence: 95%
See 3 more Smart Citations