Traytel, Dmytro
Formalizing Symbolic Decision Procedures for Regular Languages
2015
Dissertation
132 Seiten