scientific article
From MaRDI portal
Publication:3568013
zbMath1195.08003MaRDI QIDQ3568013
Klaus Denecke, Somsak Lekkoksung
Publication date: 17 June 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
closure operatorsmany-sorted algebrasmany-sorted tree languagenondeterministic hypersubstitutionsnondeterministic solid variety
Formal languages and automata (68Q45) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Equational classes, universal algebra in model theory (03C05) Heterogeneous algebras (08A68)
This page was built for publication: