The algebras of partial functions and their invariants
From MaRDI portal
Publication:3918109
DOI10.1007/BF01069627zbMath0466.03026MaRDI QIDQ3918109
Publication date: 1981
Published in: Cybernetics (Search for Journal in Brave)
Related Items
Weakly extendable partial clones on an infinite set. ⋮ Polymorphism-homogeneity and universal algebraic geometry ⋮ Regularization of integer vector optimization problems ⋮ Minimal realizations of discrete systems ⋮ Design of symbolic-processing algorithms ⋮ Mutually complementary formalizations of deductive query languages ⋮ On multilevel structured program design for process-control systems ⋮ Probabilistic automata and simulation ⋮ Alphabet operators and algorithms ⋮ Stability of discrete optimization problems ⋮ Convergence of a simulation method for solution of combinatorial optimization problems ⋮ Optimizing the time to cross a region ⋮ Maximal finitely defined subalgebras of partial functions of infinite- valued logic ⋮ Strong partial clones and the time complexity of SAT problems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Uniqueness of minimal coverings of maximal partial clones ⋮ General lower bounds and improved algorithms for infinite-domain CSPs ⋮ Completeness theory for the product of finite partial algebras ⋮ Weak bases of Boolean co-clones ⋮ Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint ⋮ Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem ⋮ Extendable local partial clones ⋮ On the interval of strong partial clones of Boolean functions containing \(\mathrm{Pol}(\{(0, 0), (0, 1), (1, 0)\})\) ⋮ Gap theorems for robust satisfiability: Boolean CSPs and beyond ⋮ Trichotomies in the complexity of minimal inference ⋮ The completeness problem in partial hyperclones ⋮ Unnamed Item ⋮ Endpoints of associated intervals for local clones on an infinite set ⋮ On the action of the implicative closure operator on the set of partial functions of the multivalued logic ⋮ Maximal local classes of partial functions of infinite-valued logic ⋮ Homogeneous and strictly homogeneous criteria for partial structures ⋮ Minimal distance of propositional models ⋮ Time Complexity of Constraint Satisfaction via Universal Algebra ⋮ Basics of Galois Connections ⋮ Partial Polymorphisms and Constraint Satisfaction Problems ⋮ A Dichotomy Theorem for the Inverse Satisfiability Problem ⋮ Dichotomy on intervals of strong partial Boolean clones
Cites Work
