Pages that link to "Item:Q1089794"
From MaRDI portal
The following pages link to Parameter-preserving data type specifications (Q1089794):
Displaying 6 items.
- Using induction and rewriting to verify and complete parameterized specifications (Q672051) (← links)
- The equational theory of parameterized specifications (Q1111364) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Circumscription in Data Logic for Data Type Specification (Q4286217) (← links)
- Datatype laws without signatures (Q4882491) (← links)
- Relaxed Data Types as Consistency Conditions (Q5045438) (← links)