scientific article; zbMATH DE number 4016180
From MaRDI portal
Recommendations
Cited in
(24)- On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
- Equational specification of partial higher-order algebras
- Universal algebra in higher types
- A completeness theorem for the expressive power of higher-order algebraic specifications
- Abstract data types can have inequations
- Verifying an infinite systolic algorithm using third-order equational methods
- scientific article; zbMATH DE number 4014011 (Why is no real title available?)
- scientific article; zbMATH DE number 432732 (Why is no real title available?)
- scientific article; zbMATH DE number 3869407 (Why is no real title available?)
- On specifications, theories, and models with higher types
- scientific article; zbMATH DE number 3986625 (Why is no real title available?)
- scientific article; zbMATH DE number 4011909 (Why is no real title available?)
- scientific article; zbMATH DE number 4078770 (Why is no real title available?)
- scientific article; zbMATH DE number 67036 (Why is no real title available?)
- scientific article; zbMATH DE number 92597 (Why is no real title available?)
- scientific article; zbMATH DE number 176127 (Why is no real title available?)
- scientific article; zbMATH DE number 176490 (Why is no real title available?)
- scientific article; zbMATH DE number 408803 (Why is no real title available?)
- scientific article; zbMATH DE number 517014 (Why is no real title available?)
- scientific article; zbMATH DE number 1950748 (Why is no real title available?)
- Higher-order algebra with transfinite types
- scientific article; zbMATH DE number 2086653 (Why is no real title available?)
- Consistency and semantics of equational definitions over predefined algebras
- Equational completion in order-sorted algebras
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 Q3028333)
