The following pages link to Seth Fogarty (Q897652):
Displayed 11 items.
- Profile trees for Büchi word automata, with application to determinization (Q897653) (← links)
- B\"uchi Complementation and Size-Change Termination (Q2881080) (← links)
- (Q2915686) (← links)
- State of B\"uchi Complementation (Q2938766) (← links)
- State of Büchi Complementation (Q3073645) (← links)
- Efficient Büchi Universality Checking (Q3557078) (← links)
- Büchi Complementation and Size-Change Termination (Q3617751) (← links)
- Unifying B\"uchi Complementation Constructions (Q4913776) (← links)
- (Q4992510) (← links)
- Random Models for Evaluating Efficient Büchi Universality Checking (Q5224494) (← links)
- Towards a grand unification of Büchi complementation constructions (Q6113976) (← links)