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

Published: 1993-01-01

Articles