On the power of higher-order algebraic specification methods
From MaRDI portal
Publication:1908358
DOI10.1006/INCO.1996.0007zbMath0844.68082OpenAlexW1993774906MaRDI QIDQ1908358
Karl Meinke, Piotr Kosiuczenko
Publication date: 19 March 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1996.0007
Related Items (6)
A completeness theorem for the expressive power of higher-order algebraic specifications ⋮ A process calculus with finitary comprehended terms ⋮ Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. ⋮ Higher-order equational logic for specification, simulation and testing ⋮ Higher-order algebra with transfinite types ⋮ Verifying an infinite systolic algorithm using third-order equational methods
This page was built for publication: On the power of higher-order algebraic specification methods
