scientific article; zbMATH DE number 4003501
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4078769
- On a conjecture of Bergstra and Tucker
- Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
- Algebraic specifications of computable and semicomputable data types
- scientific article; zbMATH DE number 3936489
Cited in
(17)- Algebraic specifications of computable and semicomputable data types
- On a conjecture of Bergstra and Tucker
- Algebraic specifiability of data types with minimal computable parameters
- Final algebras, cosemicomputable algebras and degrees of unsolvability
- Which data types have -complete initial algebra specifications?
- The data type variety of stack algebras
- scientific article; zbMATH DE number 3883588 (Why is no real title available?)
- On algebraic specifications of computable algebras with the discriminator technique
- A Unified Formal Description of Arithmetic and Set Theoretical Data Types
- scientific article; zbMATH DE number 3936489 (Why is no real title available?)
- scientific article; zbMATH DE number 4043231 (Why is no real title available?)
- scientific article; zbMATH DE number 4078768 (Why is no real title available?)
- scientific article; zbMATH DE number 4078769 (Why is no real title available?)
- Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
- scientific article; zbMATH DE number 1507245 (Why is no real title available?)
- Computer Science Logic
- Formal Methods in Software and Systems Modeling
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 Q4728229)
