TY  - BOOK
AU  - Gerard Prudhomme
TI  - Automata theory and logic
SN  - 9781773612713
U1  - 511.3 
PY  - 2018///
CY  - Canada
PB  - Arcler Press, 
KW  - Machine theory
KW  - Computational complexity
KW  - Logic, Symbolic and mathematics
N1  - Includes index; Includes bibliographical references
ER  -