Combination of constraint solvers for free and quasi-free structures
From MaRDI portal
Publication:1127338
Recommendations
Cites work
- scientific article; zbMATH DE number 3871322 (Why is no real title available?)
- scientific article; zbMATH DE number 3970748 (Why is no real title available?)
- scientific article; zbMATH DE number 42735 (Why is no real title available?)
- scientific article; zbMATH DE number 1324441 (Why is no real title available?)
- scientific article; zbMATH DE number 1456949 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- A Practical Decision Procedure for Arithmetic with Function Symbols
- A Unification Algorithm for Associative-Commutative Functions
- A feature constraint system for logic programming with entailment
- A resolution principle for a logic with restricted quantifiers
- Combination of constraint solving techniques: An algebraic point of view
- Combination of constraint systems II: Rational amalgamation
- Combination techniques and decision problems for disunification
- Combining symbolic constraint solvers on algebraic domains
- Combining unification algorithms
- Complexity, convexity and combinations of theories
- DECIDABILITY OF THE POSITIVE THEORY OF A FREE COUNTABLY GENERATED SEMIGROUP
- Equational problems and disunification
- Generalized varieties
- How to win a game with features
- Instantiation theory. On the foundations of automated deduction
- Model theoretic algebra. Selected topics
- Records for logic programming
- Simplification by Cooperating Decision Procedures
- Termination of rewriting
- Unification in a combination of arbitrary disjoint equational theories
- Universal domains and the amalgamation property
Cited in
(6)- Decidability and combination results for two notions of knowledge in security protocols
- Combination of constraint systems II: Rational amalgamation
- Unions of non-disjoint theories and combinations of satisfiability procedures
- Deciding the word problem in the union of equational theories.
- Editors' introduction to the special issue on combining logics
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
This page was built for publication: Combination of constraint solvers for free and quasi-free structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127338)
