Publications in 1985

5Heikki Mannila. Measures of presortedness and optimal sorting algorithms. IEEE Transactions on Computers, C-34:318–325, April 1985.
Info
4Heikki Mannila and D. Wood. A simple proof of the rectilinear art gallery theorem. International Journal of Computer Mathematics, 17:141–149, 1985.
Info
3Heikki Mannila and K. Mehlhorn. A fast algorithm for renaming a set of clauses as a horn set. Information Processing Letters, 21:269–272, 1985.
Info
2Heikki Mannila and Kari-Jouko Räihä. Small armstrong relations for database design. In Fourth ACM Symposium on Principles of Database Systems, pages 245–250, 1985.
Info
1R.J.R. Back and Heikki Mannila. On the suitability of trace semantics for modular proofs of communicating processes (full version). Theoretical Computer Science, 39:47–68, 1985.
Info