Pages that link to "Item:Q1362341"
From MaRDI portal
The following pages link to A completeness theorem for the expressive power of higher-order algebraic specifications (Q1362341):
Displaying 8 items.
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
- On the power of higher-order algebraic specification methods (Q1908358) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- On algebraic specifications of computable algebras with the discriminator technique (Q3358246) (← links)
- (Q3809236) (← links)
- Complexity of algebraic specifications (Q3976053) (← links)
- Higher-order equational logic for specification, simulation and testing (Q4645808) (← links)
- Higher-order algebra with transfinite types (Q4645814) (← links)