Computability, Complexity, and Languages
Davis, Martin (Courant Institute of Mathematical Sciences of New York University, New York, U.S.A.) / Sigal, Ron (Consultant, New Haven, Connecticut, U.S.A.) / Weyuker, Elaine J. (AT&T Labs Research, Florham Park, New Jersey, U.S.A.)Keine Beschreibung.