An algorithm for free algebras.

MaRDI QIDQ3083839zbMATH OpenFDO

Authors Jaroslav Ježek

Publication date 23 March 2011

Full work available at URL https://eudml.org/doc/37738, http://www.emis.de/journals/CMUC/cmuc1001/cmuc1001.htm

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

algorithmfree algebrapartial algebrareflectionvariety

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to general algebraic systems (08-04) Partial algebras (08A55) Equational logic, Mal'tsev conditions (08B05) Free algebras (08B20)

Recommendations

• A dynamic programming method for building free algebras
• Termination for a class of algorithms for constructing algebras given by generators and relations
• On the construction of free algebras for equational systems
• On generalizing free algebras for a functor.
• Free algebras over a poset in varieties

Cited in

(7)

• A dynamic programming method for building free algebras
• On free Turing algebras
• Free term algebras
• scientific article; zbMATH DE number 3849292 (Why is no real title available?)
• scientific article; zbMATH DE number 3978368 (Why is no real title available?)
• scientific article; zbMATH DE number 475233 (Why is no real title available?)
• scientific article; zbMATH DE number 1867120 (Why is no real title available?)

This page was built for publication: An algorithm for free algebras.

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