scientific article; zbMATH DE number 3880082
From MaRDI portal
Publication:3345752
zbMATH Open0552.68014MaRDI QIDQ3345752FDOQ3345752
Authors: Peter Padawitz 
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
Cited In (19)
- Parameter-preserving data type specifications
- Title not available (Why is that?)
- The power of parameterization in coinductive proof
- The equational theory of parameterized specifications
- Using induction and rewriting to verify and complete parameterized specifications
- Title not available (Why is that?)
- Specification of parameterized programs -- persistency revisited
- Canonical constraints for parameterized data types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
- Proof-Relevant Parametricity
- Proofs in parameterized specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards Complete Reasoning about Axiomatic Specifications
- Conditional equational specifications of data types with partial operations for inductive theorem proving
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)
