1999
Ce document est lié à :
0988-3754
Roman R. Redziejowski, « Construction of a deterministic $\omega $-automaton using derivatives », RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, ID : 10670/1.whg137