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 4 items.
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- Higher-order equational logic for specification, simulation and testing (Q4645808) (← links)
- Higher-order algebra with transfinite types (Q4645814) (← links)
