Searching for authors named "Khalil Djelloul" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Solving First-Order Constraints in the Theory of Finite or Infinite Trees ABSTRACT Introduction to the Decomposable Theories
- … to the Decomposable Theories Khalil Djelloul Laboratoire d’Informatique Fondamentale de Marseille 163 avenue de Luminy…
- Add To MetaCart
-
Toward a First-Order Extension of Prolog’s Unification using CHR ABSTRACT A CHR First-Order Constraint Solver Over Finite or Infinite Trees
- …-Order Constraint Solver Over Finite or Infinite Trees Khalil Djelloul University of Ulm Germany khalil.djelloul…
- Cited by 1 (0 self) – Add To MetaCart
-
A Unified Semantics for Constraint Handling Rules in Transaction Logic
- … declarative 2 Marc Meister, Khalil Djelloul, and Jacques Robin account for state changes in logic programs (cf…
- Cited by 1 (0 self) – Add To MetaCart
-
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
- … Meister, Khalil Djelloul ⋆ , and Thom Frühwirth Fakultät für Ingenieurwissenschaften und Informatik…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 4.
