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)
- Representations of superassociative algebras by commutative functions with different types
- Free power-slim groupoids
- Necessary conditions for tractability of valued CSPs
- Partial clones
- Full formulas induced by full terms
- Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement
- Self-commuting lattice polynomial functions on chains
- Quasi-varieties: A special access
- Semigroups of an inductive composition of terms
- Medial quasigroups of type \((n,k)\).
- Algebras of left variable terms
- Universal algebra in higher types
- A generalized superposition of linear tree languages and products of linear tree languages
- scientific article; zbMATH DE number 1839430 (Why is no real title available?)
- Associative spectra of graph algebras. I: Foundations, undirected graphs, antiassociative graphs
- Estimation of state complexity of combined operations
- The Expressive Power of Valued Constraints: Hierarchies and Collapses
- Modelling algebraic structures and morphisms in ACL2
- scientific article; zbMATH DE number 3872682 (Why is no real title available?)
- Unary operations with long pre-periods
- scientific article; zbMATH DE number 51770 (Why is no real title available?)
- The semigroup of linear terms
- scientific article; zbMATH DE number 3874591 (Why is no real title available?)
- Linear-hypersubstitutions for algebraic systems of type \(((n); (n))\) and characterization of their idempotent elements
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- Testing list \(H\)-homomorphisms
- Universal algebra. Fundamentals and selected topics
- scientific article; zbMATH DE number 3852967 (Why is no real title available?)
- A functional completeness theorem for De Morgan functions.
- Galois theory for sets of operations closed under permutation, cylindrification, and composition
- scientific article; zbMATH DE number 1557989 (Why is no real title available?)
- Hypomorphic Sperner systems and non-reconstructible functions
- Semigroups of linear tree languages
- Generalizing Computability Theory to Abstract Algebras
- scientific article; zbMATH DE number 3972929 (Why is no real title available?)
- Logics of left variable inclusion and Płonka sums of matrices
- Graph variety generated by linear terms
- Fuzzy tree automata
- Hyper-pseudoformulas and \(M\)-solid ordered pseudovarieties
- \(M\)-solid varieties of algebras
- Multisorted tree-algebras for hierarchical resources allocation
- Subdirectly irreducible separable dynamic algebras
- Universal algebra and hardness results for constraint satisfaction problems
- Mathematical Fuzzy Logics
- Unsolid and fluid strong varieties of partial algebras
- Separation of clones of cooperations by cohyperidentities
- The order of elements of the semigroups \((W_{\tau}(X_2))^2\) and \((W_{\tau}(X_3))^3\)
- Weak separation problem for tree languages
- A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra
- Algebraic recognizability of regular tree languages
- scientific article; zbMATH DE number 4108840 (Why is no real title available?)
- The expressive power of valued constraints: Hierarchies and collapses
- Mathematical fuzzy logic as a tool for the treatment of vague information
- A study of generalized clones of rank \(k\) and generalized \(k\)-hypersubstitutions
- Pivotal decomposition schemes inducing clones of operations
- Semigroup properties of linear terms
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)
