[comp.doc.techreports] tr-input/tampere.90

leff@CSVAX.SEAS.SMU.EDU (Laurence Leff) (08/02/90)

UNIVERSITY OF TAMPERE
DEPARTMENT OF COMPUTER SCIENCE
P.O. Box  607
SF-33101  Tampere, Finland      

E-mail orders: em@cs.uta.fi


                                 
Listed below are some of the latest technical reports of our department.
Single copies are available free of charge.

A-1990-5  Erkki Makinen, A linear time and space algorithm for finding
          isomorphic subtrees of a binary tree.  June 1990.
A-1990-4  Esa Jarnvall, Fine tuning a locally adaptive data compression
          scheme.  June 1990.
A-1990-3  Kimmo Kauranen and Erkki Makinen, A note on Cohen's 
          formal model for computer viruses.  May 1990.
A-1990-2  Timo Niemi and Kalervo Jarvelin, Operation-oriented query 
          language approach for recursive queries.  March 1990.
A-1990-1  Jyrki Nummenmaa, Constructing compact rectilinear layouts 
          using canonical representations of planar graphs.  
          March 1990.
A-1989-6  Pertti Jarvinen (ed.), Dictionary of computing: Finnish-
          Spanish-English, December 1989.
A-1989-5  Kai Koskimies, Techniques for modular language implementation, 
          December 1989.
A-1989-3  Erkki Makinen, How to draw a hypergraph, July 1989.
A-1989-2  Erkki Makinen, On the tree isomorphism problem for ordered 
          trees, July 1989.
A-1989-1  Erkki Makinen, On implementing two adaptive data compression 
          schemes, January 1989.
A-1988-11 Timo Niemi and Kalervo Jarvelin, A meta-information approach to 
          relational database representation and manipulation based on 
          Prolog, December 1988.
A-1988-10 Hannu Kangassalo, COMIC - a system for conceptual modelling and 
          information construction, December 1988.
A-1988-2  Liisa Raiha, Approximate sequence comparison: a study with 
          histograms, January 1988.
A-1987-5  Timo Niemi, A systematic specification schema based on attribute 
          grammars for multi-level database applications, March 1987.

A152      Kalervo Jarvelin, A systematic approach of modelling the 
          costs of flat files, February 1985.
A137      Pentti Hietala, A course on program verification, December 1984.