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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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