Pages that link to "Item:Q1197097"
From MaRDI portal
The following pages link to Narrowing based procedures for equational disunification (Q1197097):
Displaying 10 items.
- A metamodel of access control for distributed environments: applications and properties (Q462495) (← links)
- Narrowing vs. SLD-resolution (Q1105364) (← links)
- On solving nominal disunification constraints (Q2219072) (← links)
- Nominal equational problems (Q2233392) (← links)
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP (Q3183129) (← links)
- (Q3750118) (← links)
- Analyses of unsatisfiability for equational logic programming (Q4327430) (← links)
- Pumping, cleaning and symbolic constraints solving (Q4632446) (← links)
- Constraint functional logic programming over finite domains (Q5309079) (← links)
- Variant-based equational anti-unification (Q6160760) (← links)