Journal: SIGACT News

Volume 14, Issue 3

21 -- 22Lawrence H. Landweber. CSNET: a tool for researchers in theoretical computer science
23 -- 29Don-Min Tsou, Patrick C. Fischer. Decomposition of a relation scheme into Boyce-Codd Normal Form
30 -- 0Etienne Grandjean. Number of universal quantifiers and computational complexity: preliminary report
31 -- 35Siroos K. Afshar. On the complexity of permutation network design
36 -- 53Dino Mandrioli. On teaching theoretical foundations of computer science