Publications in 1983

5R.J.R. Back, Heikki Mannila, and Kari-Jouko Räihä. Derivation of efficient dag marking algorithms. In Proceedings of the Tenth Annual ACM Symposium on Principles of Programming Languages, pages 20–27, 1983.
Info
4R.J.R. Back and Heikki Mannila. On the suitability of trace semantics for modular proofs of communicating processes. In Third Conference on Foundations of Software Technology and Theoretical Computer Science, pages 40–65, 1983.
Info
3Heikki Mannila. A topological characterization of -compactness. Annals of Pure and Applied Logic, 25:301–305, 1983.
Info
2Heikki Mannila and Kari-Jouko Räihä. On the relationship of minimum and optimum covers for a set of functional dependencies. Acta Informatica, 20:143–158, 1983.
Info
1Erkki Oja and Maija Kuusela. The alsm algorithm - an improved subspace method of classification. Pattern Recognition, 16(4):421–427, 1983.
Info