Improving the Representation of Infinite Trees to Deal with Sets of Trees
No abstract available.
Related papers
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- Reasoning About Data Trees Using CHCs CAV 2022
- Improving efficacy of internal binary search trees using local recovery PPoPP 2016
- Diets for Fat Sets JFP 1998
- A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction APLAS 2011
- Verifying Quantum Circuits with Level-Synchronized Tree Automata POPL 2025
- Strategy Representation by Decision Trees in Reactive Synthesis TACAS 2018
- Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs TOPLAS 1998