Heinle,, Wolfgang
A relation algebraic approach to modal correspondences / Wolfgang Heinle
A relation algebraic approach to modal correspondences / Wolfgang Heinle
. - München : Institut für Informatik of the Technische Universitat München, 1991
. - 32 p. 21 cm
. - (TUM; I9137)
519.68