The Optimised Functional Translation and Graded Modal Logics.

Ohlbach, H. J. and Schmidt, R. A. (July 1995)

Combined abstract of talks held at the RelMiCs'96 Workshop in Parati, Brasil, 10-14 July. DVI, PostScript, BiBTeX
Renate A. Schmidt
Home | Publications | FM Group | School | Man Univ

Last modified: 24 Jan 2000
Copyright © 1996,7,8 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk