User: Guest  Login
Sort by:
and:
More ...

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