Pages that link to "Item:Q3617731"
From MaRDI portal
The following pages link to Parameter Reduction in Grammar-Compressed Trees (Q3617731):
Displaying 6 items.
- Parameter reduction and automata evaluation for grammar-compressed trees (Q440015) (← links)
- Parameter-reduction of higher level grammars (Q1099634) (← links)
- Congruence Closure of Compressed Terms in Polynomial Time (Q3172897) (← links)
- REDUCING SIMPLE GRAMMARS: EXPONENTIAL AGAINST HIGHLY-POLYNOMIAL TIME IN PRACTICE (Q3503088) (← links)
- Unification with Singleton Tree Grammars (Q3636835) (← links)
- Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars (Q4608715) (← links)