Pages that link to "Item:Q1197097"
From MaRDI portal
The following pages link to Narrowing based procedures for equational disunification (Q1197097):
Displayed 6 items.
- A metamodel of access control for distributed environments: applications and properties (Q462495) (← 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)
- Pumping, cleaning and symbolic constraints solving (Q4632446) (← links)
- Constraint functional logic programming over finite domains (Q5309079) (← links)