E. Börger, G. Hasenjaeger, D. Rödding
Logic and Machines: Decision Problems and Complexity - 1984 - Springer Berlin Heidelberg 1984 - Lecture Notes in Computer Science .
9783540388562
Computer Science
Logic and Machines: Decision Problems and Complexity - 1984 - Springer Berlin Heidelberg 1984 - Lecture Notes in Computer Science .
9783540388562
Computer Science