Generator induction in order sorted algebras
From MaRDI portal
Publication:749219
DOI10.1007/BF01211433zbMath0712.68068OpenAlexW2057939154MaRDI QIDQ749219
Publication date: 1991
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01211433
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (2)
Cites Work
This page was built for publication: Generator induction in order sorted algebras