scientific article

zbMath0993.08001MaRDI QIDQ2784580

Klaus Denecke, Shelly L. Wismath

Publication date: 23 April 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

identitiesautomatapolynomialsprimalityvarietiescongruenceproductsterm rewritingGalois connectionsuniversal algebrafinite algebrasfunctional completenessclonesclosure systemsMal'tsev conditionshypersubstitutions

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Grammars and rewriting systems (68Q42) Operations and polynomials in algebraic structures, primal algebras (08A40) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Algebraic structures (08Axx) Varieties (08Bxx)

Related Items (42)

Fuzzy tree automata ⋮ Necessary Conditions for Tractability of Valued CSPs ⋮ Semigroups of an inductive composition of terms ⋮ Testing list \(H\)-homomorphisms ⋮ Semigroups of linear tree languages ⋮ A generalized superposition of linear tree languages and products of linear tree languages ⋮ Totally symmetric functions are reconstructible from identification minors ⋮ Mathematical Fuzzy Logics ⋮ Galois theory for sets of operations closed under permutation, cylindrification, and composition ⋮ Pivotal decomposition schemes inducing clones of operations ⋮ The Expressive Power of Valued Constraints: Hierarchies and Collapses ⋮ Semigroup properties of linear terms ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ Unnamed Item ⋮ Unsolid and fluid strong varieties of partial algebras ⋮ Unnamed Item ⋮ Unary operations with long pre-periods ⋮ Unnamed Item ⋮ The expressive power of valued constraints: Hierarchies and collapses ⋮ Algebraic recognizability of regular tree languages ⋮ Self-commuting lattice polynomial functions on chains ⋮ Subdirectly irreducible separable dynamic algebras ⋮ Quasi-varieties: A special access ⋮ Unnamed Item ⋮ Estimation of state complexity of combined operations ⋮ Graph variety generated by linear terms ⋮ Associative spectra of graph algebras. I: Foundations, undirected graphs, antiassociative graphs ⋮ A functional completeness theorem for De Morgan functions. ⋮ Separation of clones of cooperations by cohyperidentities ⋮ Universal algebra and hardness results for constraint satisfaction problems ⋮ Partial clones ⋮ Free power-slim groupoids ⋮ Unnamed Item ⋮ The semigroup of linear terms ⋮ Hyper-pseudoformulas and M-solid ordered pseudovarieties ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ Multisorted tree-algebras for hierarchical resources allocation ⋮ Weak Separation Problem for Tree Languages ⋮ Modelling algebraic structures and morphisms in ACL2 ⋮ Hypomorphic Sperner systems and non-reconstructible functions ⋮ A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra

This page was built for publication: