Automata on guarded strings and applications (2001)

by Dexter Kozen
Venue:Matématica Contemporânea
Citations:27 - 7 self