The following pages link to Computer Science Logic (Q5292644):
Displaying 18 items.
- On the data type extension problem for algebraic specifications (Q801668) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- On a conjecture of Bergstra and Tucker (Q1124321) (← links)
- On abstract data types presented by multiequations (Q1607218) (← links)
- Algebraic specifications, higher-order types and set-theoretic models (Q2752531) (← links)
- (Q3197343) (← links)
- (Q3687690) (← links)
- (Q3785902) (← links)
- (Q3999024) (← links)
- (Q4005171) (← links)
- (Q4336197) (← links)
- (Q4725723) (← links)
- (Q4763985) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)
- Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers (Q5089612) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)
- Decision procedures for algebraic data types with abstractions (Q5255074) (← links)
- Stratified type inference for generalized algebraic data types (Q5348926) (← links)
