Pages that link to "Item:Q1917102"
From MaRDI portal
The following pages link to Combining decision algorithms for matching in the union of disjoint equational theories (Q1917102):
Displaying 10 items.
- Matching - a special case of unification? (Q582272) (← links)
- Anti-patterns for rule-based languages (Q968527) (← links)
- Combining matching algorithms: The regular case (Q1186723) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Unification algorithms cannot be combined in polynomial time. (Q1854364) (← links)
- Unification in the union of disjoint equational theories: Combining decision procedures (Q1918503) (← links)
- Unification and Matching in Hierarchical Combinations of Syntactic Theories (Q2964469) (← links)
- Combining matching algorithms: The regular case (Q5055731) (← links)
- Combining Decision Procedures by (Model-)Equality Propagation (Q5179357) (← links)
- Automated Deduction – CADE-19 (Q5900720) (← links)