The partial many-sorted algebras of terms and formulas with fixed variables count

DOI10.7151/DMGAA.1444MaRDI QIDQ6182115zbMATH OpenFDO

Authors Thodsaporn Kumduang, Sorasak Leeratanavalee

Publication date 20 December 2023

Published in Discussiones Mathematicae - General Algebra and Applications (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.7151/DMGAA.1444

zbMATH Keywords

formulapartial many-sorted algebrapartial operationrepresentationterm

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Operations and polynomials in algebraic structures, primal algebras (08A40) Applications of universal algebra in computer science (08A70) Formal languages and automata (68Q45)

Recommendations

• The partial algebra of terms with a fixed number of variables under a generalized superposition
• scientific article; zbMATH DE number 7264200
• Clone of linear terms and clone of linear formulas
• Full formulas induced by full terms
• The length of terms and their measurement

Cited in

(2)

• scientific article; zbMATH DE number 7264200 (Why is no real title available?)
• The partial algebra of terms with a fixed number of variables under a generalized superposition

This page was built for publication: The partial many-sorted algebras of terms and formulas with fixed variables count

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