TY - BOOK AU - Davis, Martin Date AU - Weyuker, Elaine J. TI - Computability, complexity, and languages: fundamentals of theoretical computer science SN - 0122063805 U1 - 001.6401 PY - 1983/// CY - Orlando PB - Academic Press KW - Machine theory KW - Computational complexity KW - Formal languages ER -