Computation algebras

DOI10.1017/S0960129501003292zbMATH Open0996.68114OpenAlexW2912567067MaRDI QIDQ2762624

Michał Walicki, Magne Haveraaen, Sigurd Meldal

Publication date: 27 February 2002

Published in: MSCS. Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129501003292

zbMATH Keywords

evaluation strategies

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)

Related Items (2)

Prolongations and Computational Algebra ⋮ Computer algebra libraries for combinatorial structures

This page was built for publication: Computation algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2762624)