Equational specifications of finite minimal unoids, using unary hidden functions only
Publication date
1982
Authors
Bergstra, J.A.
Meyer, J-J.Ch.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
Abstract
Keywords
algebraic data types, finite data types, equational specifications with hidden functions, boundedness properties, finite minimal unoid, data type specification