Path: utzoo!attcan!uunet!seismo!sundc!pitstop!sun!amdcad!ames!pasteur!ucbvax!smu.UUCP!leff
From: leff@smu.UUCP (Laurence Leff)
Newsgroups: comp.doc.techreports
Subject: tr-input/tampere
Message-ID: <8809041246.AA08391@smu.edu>
Date: 4 Sep 88 12:46:26 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 44
Approved: trlist@smu.edu


  


UNIVERSITY OF TAMPERE
DEPARTMENT OF COMPUTER SCIENCE
P.O. Box  607
SF-33101  Tampere, Finland       e-mail orders: em@utacs.uucp
                                                em@utacs.uta.fi

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


A-1987-5 Timo Niemi, A systematic specification schema based on 
         attribute grammars for multi-level database applications,
	 March 1987.
A-1988-1 Erkki Makinen, Experiments on drawing 2-level hierarchical 
         graphs, January 1988.
A-1988-2 Liisa Raiha, Approximate sequence comparison: a study with 
         histograms, January 1988.
A-1988-3 Heikki Mannila and Kari-Jouko Raiha, Algorithms for inferring 
         functional dependencies, April 1988.
A-1988-4 Erkki Makinen, A note on the median heuristic for
         drawing bipartite graphs, May 1988.
A-1988-5 George R.S. Weir, HCI in man-machine systems, July 1988.
A-1988-6 Jyrki Katajainen and Erkki Makinen, A note on the
         complexity of trie compaction, August 1988.
A-1988-7 Heikki Mannila and Kari-Jouko Raiha, Generating Armstrong 
         databases for sets of functional and inclusion dependencies,
         August 1988.

A116 Hannu Kangassalo, On the semantics of data abstraction,
     June 1984.
A136 Ralph-Johan Back and Pentti Hietala, I3V: a program proof
     management system, December 1986.
A137 Pentti Hietala, A course on program verification, December
     1984.
A148 Pentti Hietala, A tool for teaching program verification,
     August 1985.
A150 Timo Niemi, The specification of data reformatting in data
     conversion, May 1985.
A152 Kalervo Jarvelin, A systematic approach of modelling the 
     costs of flat files, February 1985.