| |
| | Research: 2001 Annual Report (Site not responding. Last check: 2007-10-13) |
 | | E. Franconi, F. Grandi, F. Mandreoli, Schema Evolution and Versioning: a Logical and Computational Characterisation, Proceedings 9th International Workshop on Foundations of Models and Languages for Data and Objects: Database schema evolution and meta-modeling, (DEMM'00), January, Springer Verlag, http://www.cs.man.ac.uk/~franconi/papers/demm-00.ps.gz. |
 | | K. Korovin, A. Voronkov, Knuth-Bendix Constraint Solving Is NP-Complete, Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, pp.979-992, ISBN 3-540-42287-0, Vol.2076, January, Springer Verlag. |
 | | J. Sargeant, C. Kirkham, I. Watson, Exploiting Implicit Parallelism in Functional Programs with SLAM, Implementation of Functional Languages, 12th International Workshop, IFL 2000, pp.19-36, ISBN 3-540-41919-5, ISSN 0302-9743, Lecture Notes in Computer Science Vol.2011, January, Springer Verlag. |
| www.cs.manchester.ac.uk /Research_subweb/AR01.php (4448 words) |
|