[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || Optimal semantics of data type extensions
Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.Volume:
10.1007/BF
Year:
1990
Language:
english
DOI:
10.1007/bfb0043083
File:
PDF, 1.45 MB
english, 1990