scientific article; zbMATH DE number 3874585

MaRDI QIDQ3340122zbMATH OpenFDO

Authors J. A. Bergstra, John-Jules Meyer

Publication date 1982

zbMATH Keywords

algebraic data typesboundedness propertiesdata type specificationequational specifications with hidden functionsfinite data typesfinite minimal unoid

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 1796130
• Some results on equational unification
• scientific article; zbMATH DE number 3866609
• scientific article; zbMATH DE number 3867289
• Complete sets of unifiers and matchers in equational theories
• On equational theories, unification, and (un)decidability
• scientific article; zbMATH DE number 4041328
• Some independence results for equational unification
• scientific article; zbMATH DE number 4049131
• Unification in a combination of equational theories: an efficient algorithm

Cited in

(3)

• An upper bound for the equational specification of finite state services
• Combining programs and state machines
• scientific article; zbMATH DE number 566082 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3340122)