Pages that link to "Item:Q3522906"
From MaRDI portal
The following pages link to Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains (Q3522906):
Displaying 5 items.
- Efficient CTL model-checking for pushdown systems (Q402129) (← links)
- Reachability on prefix-recognizable graphs (Q975403) (← links)
- Efficient CTL Model-Checking for Pushdown Systems (Q3090847) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Relationship between Approximability and Request Structures in the Minimum Certificate Dispersal Problem (Q5323050) (← links)