Pages that link to "Item:Q4913776"
From MaRDI portal
The following pages link to Unifying B\"uchi Complementation Constructions (Q4913776):
Displaying 7 items.
- Profile trees for Büchi word automata, with application to determinization (Q897653) (← links)
- On the power of finite ambiguity in Büchi complementation (Q6040669) (← links)
- Congruence Relations for Büchi Automata (Q6488469) (← links)
- Modular mix-and-match complementation of Büchi automata (Q6535356) (← links)
- Simulations in rank-based Büchi automata complementation (Q6536321) (← links)
- Proof systems for the modal \(\mu \)-calculus obtained by determinizing automata (Q6541156) (← links)
- Complementation of - \( \omega \)-regular expressions. I (Q6660265) (← links)