scientific article; zbMATH DE number 3880082
From MaRDI portal
Publication:3345752
Recommendations
Cited in
(20)- Parameter-preserving data type specifications
- The equational theory of parameterized specifications
- Specification of parameterized programs -- persistency revisited
- The power of parameterization in coinductive proof
- scientific article; zbMATH DE number 4133477 (Why is no real title available?)
- Towards Complete Reasoning about Axiomatic Specifications
- Proof-Relevant Parametricity
- scientific article; zbMATH DE number 3876566 (Why is no real title available?)
- scientific article; zbMATH DE number 3898211 (Why is no real title available?)
- scientific article; zbMATH DE number 3911687 (Why is no real title available?)
- scientific article; zbMATH DE number 3936491 (Why is no real title available?)
- scientific article; zbMATH DE number 3945335 (Why is no real title available?)
- scientific article; zbMATH DE number 683357 (Why is no real title available?)
- scientific article; zbMATH DE number 1761886 (Why is no real title available?)
- Conditional equational specifications of data types with partial operations for inductive theorem proving
- scientific article; zbMATH DE number 1368956 (Why is no real title available?)
- Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
- Proofs in parameterized specifications
- Canonical constraints for parameterized data types
- Using induction and rewriting to verify and complete parameterized specifications
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 Q3345752)
