Free Term Algebras
From MaRDI portal
Publication:2852163
DOI10.2478/V10037-012-0029-6zbMath1296.68085OpenAlexW2003543524MaRDI QIDQ2852163
Publication date: 8 October 2013
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/v10037-012-0029-6
Applications of universal algebra in computer science (08A70) Grammars and rewriting systems (68Q42) Free algebras (08B20)
Related Items (4)
Formulation of cell Petri nets ⋮ Term context ⋮ Program Algebra over an Algebra ⋮ Analysis of Algorithms: An Example of a Sort Algorithm
This page was built for publication: Free Term Algebras
