Pages that link to "Item:Q2500700"
From MaRDI portal
The following pages link to Tree regular model checking: a simulation-based approach (Q2500700):
Displaying 6 items.
- Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
- Equational approximations for tree automata completion (Q968530) (← links)
- COMPOSED BISIMULATION FOR TREE AUTOMATA (Q3395139) (← links)
- BISIMULATION MINIMIZATION OF TREE AUTOMATA (Q3503087) (← links)
- A Congruence-Based Perspective on Finite Tree Automata (Q5025071) (← links)
- Computing Simulations over Tree Automata (Q5458323) (← links)
