Combination techniques and decision problems for disunification

Authors:
Franz Baader;Klaus U. Schulz
Affiliations:
-;-
Venue:
RTA-93 Selected papers of the fifth international conference on Rewriting techniques and applications
Year:
1995

Citing 0
Cited 4

Combining constraint solving

Constraints in computational logics
Unions of non-disjoint theories and combinations of satisfiability procedures

Theoretical Computer Science
Disunification in ACI1 Theories

Constraints
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract