Universal algebra and applications in theoretical computer science
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)
- scientific article; zbMATH DE number 4108840 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1839430 (Why is no real title available?)
- Universal algebra in higher types
- scientific article; zbMATH DE number 1557989 (Why is no real title available?)
- scientific article; zbMATH DE number 3972929 (Why is no real title available?)
- Semigroups of linear tree languages
- Full formulas induced by full terms
- A functional completeness theorem for De Morgan functions.
- Free power-slim groupoids
- Partial clones
- 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
- Separation of clones of cooperations by cohyperidentities
- The semigroup of linear terms
- Subdirectly irreducible separable dynamic algebras
- Quasi-varieties: A special access
- Graph variety generated by linear terms
- Associative spectra of graph algebras. I: Foundations, undirected graphs, antiassociative graphs
- Weak separation problem for tree languages
- scientific article; zbMATH DE number 3852967 (Why is no real title available?)
- Algebras of left variable terms
- 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
- Testing list H-homomorphisms
- A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra
- Universal algebra. Fundamentals and selected topics
- Representations of superassociative algebras by commutative functions with different types
- 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
- Unsolid and fluid strong varieties of partial algebras
- Semigroups of an inductive composition of terms
- Multisorted tree-algebras for hierarchical resources allocation
- Pivotal decomposition schemes inducing clones of operations
- The Expressive Power of Valued Constraints: Hierarchies and Collapses
- scientific article; zbMATH DE number 3874591 (Why is no real title available?)
- Mathematical fuzzy logic as a tool for the treatment of vague information
- Mathematical Fuzzy Logics
- scientific article; zbMATH DE number 51770 (Why is no real title available?)
- Unary operations with long pre-periods
- scientific article; zbMATH DE number 3872682 (Why is no real title available?)
- Medial quasigroups of type \((n,k)\).
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)
