Pages that link to "Item:Q5458323"
From MaRDI portal
The following pages link to Computing Simulations over Tree Automata (Q5458323):
Displayed 11 items.
- Simulation relations for pattern matching in directed graphs (Q388784) (← links)
- Mediating for reduction (on minimizing alternating Büchi automata) (Q740970) (← links)
- Nested antichains for WS1S (Q1733101) (← links)
- Multi-buffer simulations: decidability and complexity (Q1784963) (← links)
- Automata on infinite trees (Q2074210) (← links)
- Forest automata for verification of heap manipulation (Q2441715) (← links)
- An efficient simulation algorithm on Kripke structures (Q2453984) (← links)
- Topological Characterisation of Multi-Buffer Simulation (Q4989168) (← links)
- (Q5015280) (← links)
- A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata (Q5170274) (← links)
- Computing Simulations over Tree Automata (Q5458323) (← links)