Pages that link to "Item:Q3602801"
From MaRDI portal
The following pages link to Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata (Q3602801):
Displayed 9 items.
- Nested antichains for WS1S (Q1733101) (← links)
- Strategy construction for parity games with imperfect information (Q1959483) (← links)
- Fixed point guided abstraction refinement for alternating automata (Q1959653) (← links)
- Parametric random generation of deterministic tree automata (Q1959655) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Fixpoint Guided Abstraction Refinement for Alternating Automata (Q3637352) (← links)
- Weak Inclusion for XML Types (Q5200049) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5918382) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5919501) (← links)