Degtyarev, Anatoli
-
DAIMI Report Series Nr. 431 (1993): PB-431 Consistency and Semantics of Equational Definitions over Predefined Algebras - Articles
Consistency and Semantics of Equational Definitions over Predefined Algebras
Resumé PDF (English)