Equational specifications of finite minimal unoids, using unary hidden functions only

DSpace/Manakin Repository

Equational specifications of finite minimal unoids, using unary hidden functions only
 
Bergstra, J.A.; Meyer, J-J.Ch.
(1982) Annales Societatis Mathematicae Polanae, Series 4, volume 5, issue 2, pp. 143 - 170
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: algebraic data types, finite data types, equational specifications with hidden functions, boundedness properties, finite minimal unoid, data type specification
ISSN: 0342-8429
0169-2968
Publisher: IOS Press
 
See more statistics about this item