Title of article
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems
Author/Authors
Meseguer J.، نويسنده , , Goguen J. A.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1993
Pages
45
From page
114
To page
158
Journal title
Information and Computation
Serial Year
1993
Journal title
Information and Computation
Record number
261309
Link To Document