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

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: Khalil Djelloul