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

DOI10.7151/dmgaa.1444MaRDI QIDQ6182115

Thodsaporn Kumduang, Sorasak Leeratanavalee

Publication date: 20 December 2023

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

zbMATH Keywords

termrepresentationformulapartial operationpartial many-sorted algebra

Mathematics Subject Classification ID

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

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