Borger, E., Ed
Logics and machines: Decision problems and complexity - Berlin Springer-Verlag - Lecture notes in computer science ; 00171 .
681 LNCS
Logics and machines: Decision problems and complexity - Berlin Springer-Verlag - Lecture notes in computer science ; 00171 .
681 LNCS