Nr. 431 (1993): PB-431 Consistency and Semantics of Equational Definitions over Predefined Algebras

Publiceret: 1993-01-01

Articles