Universal algebra and applications in theoretical computer science
zbMATH Open0993.08001MaRDI QIDQ2784580FDOQ2784580
Authors: Klaus Denecke, Shelly L. Wismath 
Publication date: 23 April 2002
Recommendations
functional completenessGalois connectionsautomatacongruencepolynomialsterm rewritingproductsuniversal algebravarietiesidentitiesfinite algebrasclosure systemsprimalityclonesMal'tsev conditionshypersubstitutions
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Grammars and rewriting systems (68Q42) Algebraic theory of languages and automata (68Q70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Operations and polynomials in algebraic structures, primal algebras (08A40) Applications of universal algebra in computer science (08A70) Algebraic structures (08Axx) Varieties (08Bxx)
Cited In (57)
- Algebras of left variable terms
- Representations of superassociative algebras by commutative functions with different types
- Linear-hypersubstitutions for algebraic systems of type \(((n); (n))\) and characterization of their idempotent elements
- The expressive power of valued constraints: Hierarchies and collapses
- Hyper-pseudoformulas and \(M\)-solid ordered pseudovarieties
- Title not available (Why is that?)
- Totally symmetric functions are reconstructible from identification minors
- Title not available (Why is that?)
- Universal algebra in higher types
- Semigroups of linear tree languages
- Title not available (Why is that?)
- Full formulas induced by full terms
- Free power-slim groupoids
- Partial clones
- A functional completeness theorem for De Morgan functions.
- Self-commuting lattice polynomial functions on chains
- A study of generalized clones of rank \(k\) and generalized \(k\)-hypersubstitutions
- Generalizing Computability Theory to Abstract Algebras
- Estimation of state complexity of combined operations
- The semigroup of linear terms
- Graph variety generated by linear terms
- Subdirectly irreducible separable dynamic algebras
- Weak separation problem for tree languages
- Separation of clones of cooperations by cohyperidentities
- Quasi-varieties: A special access
- Associative spectra of graph algebras. I: Foundations, undirected graphs, antiassociative graphs
- Title not available (Why is that?)
- Fuzzy tree automata
- Necessary conditions for tractability of valued CSPs
- A generalized superposition of linear tree languages and products of linear tree languages
- Logics of left variable inclusion and Płonka sums of matrices
- \(M\)-solid varieties of algebras
- The order of elements of the semigroups \((W_{\tau}(X_2))^2\) and \((W_{\tau}(X_3))^3\)
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- Galois theory for sets of operations closed under permutation, cylindrification, and composition
- Semigroup properties of linear terms
- A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra
- Testing list \(H\)-homomorphisms
- Universal algebra. Fundamentals and selected topics
- Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement
- Universal algebra and hardness results for constraint satisfaction problems
- Algebraic recognizability of regular tree languages
- Modelling algebraic structures and morphisms in ACL2
- Hypomorphic Sperner systems and non-reconstructible functions
- Semigroups of an inductive composition of terms
- Multisorted tree-algebras for hierarchical resources allocation
- Unsolid and fluid strong varieties of partial algebras
- Pivotal decomposition schemes inducing clones of operations
- The Expressive Power of Valued Constraints: Hierarchies and Collapses
- Title not available (Why is that?)
- Mathematical Fuzzy Logics
- Mathematical fuzzy logic as a tool for the treatment of vague information
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unary operations with long pre-periods
- Medial quasigroups of type \((n,k)\).
- Title not available (Why is that?)
This page was built for publication: Universal algebra and applications in theoretical computer science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2784580)
