The following pages link to Hassan Aït-Kaci (Q1093358):
Displayed 18 items.
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- Item:Q1093358 (redirect page) (← links)
- Inheritance hierarchies: Semantics and unifications (Q1124313) (← links)
- A feature constraint system for logic programming with entailment (Q1314426) (← links)
- Label-selective \(\lambda\)-calculus syntax and confluence (Q1350342) (← links)
- Fuzzy unification and generalization of first-order terms over similar signatures (Q1671154) (← links)
- An abstract, reusable, and extensible programming language design architecture (Q1799296) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- (Q3696487) (← links)
- (Q3700828) (← links)
- (Q3769958) (← links)
- (Q4268465) (← links)
- (Q4282498) (← links)
- (Q4287474) (← links)
- Order-sorted feature theory unification (Q4365057) (← links)
- (Q4797044) (← links)
- Towards a meaning of life (Q5289307) (← links)
- (Q5688930) (← links)