The following pages link to Haiseung Yoo (Q675221):
Displayed 3 items.
- Computing the rabin index of a regular language of infinite words (Q675222) (← links)
- Computing the Wadge degree, the Lifschitz degree, and the Rabin index of a regular language of infinite words in polynomial time (Q5096738) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308404) (← links)