Free term algebras

DOI10.2478/V10037-012-0029-6MaRDI QIDQ2852163zbMATH OpenOpenAlexFDO

Authors Grzegorz Bancerek

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

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Free algebras (08B20) Grammars and rewriting systems (68Q42)

Recommendations

• An algorithm for free algebras.
• scientific article; zbMATH DE number 3869406
• Structure of free algebras
• scientific article; zbMATH DE number 1867120
• On the construction of free algebras for equational systems

Cited in

(11)

• A free construction of dynamic terms
• Effective codescent morphisms in the varieties determined by convergent term rewriting systems.
• Program algebra over an algebra
• Analysis of algorithms: an example of a sort algorithm
• Structure of free algebras
• scientific article; zbMATH DE number 56028 (Why is no real title available?)
• scientific article; zbMATH DE number 2080020 (Why is no real title available?)
• Formulation of cell Petri nets
• scientific article; zbMATH DE number 749697 (Why is no real title available?)
• scientific article; zbMATH DE number 6157362 (Why is no real title available?)
• Term context

This page was built for publication: Free term algebras

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