Pages that link to "Item:Q2946645"
From MaRDI portal
The following pages link to Unification and matching on compressed terms (Q2946645):
Displayed 8 items.
- Approximation of smallest linear tree grammar (Q342719) (← links)
- Parameter reduction and automata evaluation for grammar-compressed trees (Q440015) (← links)
- Nominal unification with letrec and environment-variables (Q2119105) (← links)
- Congruence Closure of Compressed Terms in Polynomial Time (Q3172897) (← links)
- Grammar-Based Tree Compression (Q3451087) (← links)
- Linear pattern matching of compressed terms and polynomial rewriting (Q4585011) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- Grammar-based compression of unranked trees (Q5915574) (← links)