Hintermeier, Claus
-
BRICS Report Series No. 51 (1996): RS-51 Rn and Gn Logics - Articles
Rn and Gn Logics
Abstract PDF -
BRICS Report Series No. 52 (1996): RS-52 Combining Algebraic and Set-Theoretic Specifications (Extended Version) - Articles
Combining Algebraic and Set-Theoretic Specifications (Extended Version)
Abstract PDF