The following pages link to (Q4994129):
Displaying 4 items.
- Sufficient completeness verification for conditional and constrained TRS (Q420848) (← links)
- Solving a unification problem under constrained substitutions using tree automata (Q1355760) (← links)
- Automated Induction with Constrained Tree Automata (Q3541728) (← links)
- Bottom-Up Tree Automata with Term Constraints (Q4933333) (← links)