Generator induction in order sorted algebras
From MaRDI portal
Publication:749219
DOI10.1007/BF01211433zbMATH Open0712.68068OpenAlexW2057939154MaRDI QIDQ749219FDOQ749219
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
Recommendations
- Algorithm for Generating Finite Totally Ordered Monoids
- scientific article
- Algebras defined from ordered sets and the varieties they generate
- Higher-order order-sorted algebras
- Order algebras
- scientific article; zbMATH DE number 1912105
- scientific article; zbMATH DE number 5066576
- scientific article; zbMATH DE number 736946
- On Hilbert algebras generated by the order
General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)
Cites Work
Cited In (3)
This page was built for publication: Generator induction in order sorted algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q749219)