Hassan Aït-Kaci

Available identifiers

zbMath Open ait-kaci.hassanMaRDI QIDQ1093358

List of research outcomes

Publication	Date of Publication	Type
Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach	2021-01-19	Paper
An abstract, reusable, and extensible programming language design architecture	2018-10-18	Paper
Fuzzy unification and generalization of first-order terms over similar signatures	2018-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4797044	2003-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4268465	1999-10-31	Paper
Order-sorted feature theory unification	1998-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q5688930	1997-05-25	Paper
Label-selective \(\lambda\)-calculus syntax and confluence	1997-02-27	Paper
A feature constraint system for logic programming with entailment	1994-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4282498	1994-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4287474	1994-04-12	Paper
Towards a meaning of life	1993-08-23	Paper
Inheritance hierarchies: Semantics and unifications	1989-01-01	Paper
An algebraic semantics approach to the effective resolution of type equations	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3769958	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3696487	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3700828	1985-01-01	Paper

Research outcomes over time

This page was built for person: Hassan Aït-Kaci