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