Khalil Djelloul

Available identifiers

zbMath Open djelloul.khalilMaRDI QIDQ1044228

List of research outcomes

Publication	Date of Publication	Type
From decomposable to residual theories	2009-12-16	Paper
A full first-order constraint solver for decomposable theories	2009-12-11	Paper
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints	2009-08-06	Paper
Solving First-Order Constraints in the Theory of the Evaluated Trees	2009-03-05	Paper
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees	2009-03-05	Paper
A Full First-Order Constraint Solver for Decomposable Theories	2009-01-27	Paper
Extension of First-Order Theories into Trees	2009-01-15	Paper
Theory of finite or infinite trees revisited	2008-07-23	Paper
Solving First-Order Constraints in the Theory of the Evaluated Trees	2008-03-11	Paper
A Unified Semantics for Constraint Handling Rules in Transaction Logic	2007-11-13	Paper
Decomposable theories	2007-10-09	Paper
Frontiers of Combining Systems	2006-10-10	Paper

Research outcomes over time

This page was built for person: Khalil Djelloul