The following pages link to (Q4804925):
Displayed 12 items.
- Backward and forward bisimulation minimization of tree automata (Q840778) (← links)
- Iterating transducers (Q1858440) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Simulations of Weighted Tree Automata (Q3073652) (← links)
- Controlled Term Rewriting (Q3172893) (← links)
- Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (Q3454088) (← links)
- Handling Left-Quadratic Rules When Completing Tree Automata (Q4982086) (← links)
- A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata (Q5170274) (← links)
- Verifying Multithreaded Recursive Programs with Integer Variables (Q5179057) (← links)
- Model checking, synthesis, and learning (Q6041187) (← links)
- Regular model checking: evolution and perspectives (Q6045027) (← links)
- Regular model checking revisited (Q6045028) (← links)