TY - BOOK AU - Davis,Martin D. AU - Sigal,Ron AU - Weyuker,Elaine J. TI - Computability, complexity, and languages: fundamentals of theoretical computer science SN - 0122063821 : U1 - 510.78 PY - 1994/// CY - Boston PB - Academic Press KW - Machine theory KW - Computational complexity KW - Formal languages N1 - Includes bibliographical references and index ER -