Journal: SIGACT News

Volume 8, Issue 4

11 -- 12Samuel Eilenberg. Review of "Algebraic and automata-theoretic properties of formal languages" by Seymour Ginsburg. North Holland, 1975
13 -- 24Juris Hartmanis, John E. Hopcroft. Independence results in computer science
24 -- 27Jan van Leeuwen. A regularity condition for parallel rewriting systems
28 -- 32Stephen A. Cook. A short proof of the pigeon hole principle using extended resolution
33 -- 40. Recent technical reports