Hassan Aït-Kaci

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach Fuzzy Sets and Systems	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 (available as arXiv preprint)	2018-09-06	Paper
scientific article; zbMATH DE number 1881074 (Why is no real title available?)	2003-03-12	Paper
scientific article; zbMATH DE number 1354150 (Why is no real title available?)	1999-10-31	Paper
Order-sorted feature theory unification The Journal of Logic Programming	1998-03-17	Paper
scientific article; zbMATH DE number 970739 (Why is no real title available?)	1997-05-25	Paper
Label-selective \(\lambda\)-calculus syntax and confluence Theoretical Computer Science	1997-02-27	Paper
A feature constraint system for logic programming with entailment Theoretical Computer Science	1994-11-29	Paper
scientific article; zbMATH DE number 516982 (Why is no real title available?)	1994-08-21	Paper
scientific article; zbMATH DE number 549955 (Why is no real title available?)	1994-04-12	Paper
Towards a meaning of life The Journal of Logic Programming	1993-08-23	Paper
Inheritance hierarchies: Semantics and unifications Journal of Symbolic Computation	1989-01-01	Paper
An algebraic semantics approach to the effective resolution of type equations Theoretical Computer Science	1986-01-01	Paper
scientific article; zbMATH DE number 4028891 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3921948 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3926235 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

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