Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Djelloul, Khalil
48  Ergebnisse:
Personensuche X
?
1

From decomposable to residual theories:

Djelloul, Khalil
Applied Mathematics and Computation.  215 (2009)  5 - p. 1761-1779 , 2009
Link: https://doi.org/10.1016/..
 
?
2

A full first-order constraint solver for decomposable theor..:

Djelloul, Khalil
Annals of Mathematics and Artificial Intelligence.  56 (2009)  1 - p. 43-64 , 2009
Link: https://doi.org/10.1007/..
 
?
3

From exponential to almost linear decomposability of finite..:

, In: Proceedings of the 2009 ACM symposium on Applied Computing,
Djelloul, Khalil - p. 897-902 , 2009
Link: https://dl.acm.org/doi/1..
 
?
4

Theory of finite or infinite trees revisited:

DJELLOUL, KHALIL ; DAO, THI-BICH-HANH ; FRÜHWIRTH, THOM
Theory and Practice of Logic Programming.  8 (2008)  4 - p. 431-489 , 2008
Link: https://doi.org/10.1017/..
 
?
5

Combination of decomposability and propagation for solving ..:

, In: Proceedings of the 2008 ACM symposium on Applied computing,
Djelloul, Khalil - p. 1728-1732 , 2008
Link: https://dl.acm.org/doi/1..
 
?
6

Decomposable theories:

DJELLOUL, KHALIL
Theory and Practice of Logic Programming.  7 (2007)  5 - p. 583-632 , 2007
Link: https://doi.org/10.1017/..
 
?
7

Toward a first-order extension of Prolog's unification usin..:

, In: Proceedings of the 2007 ACM symposium on Applied computing,
Djelloul, Khalil ; Dao, Thi-Bich-Hanh ; Fruehwirth, Thom - p. 58-64 , 2007
Link: https://dl.acm.org/doi/1..
 
?
8

Solving first-order constraints in the theory of finite or ..:

, In: Proceedings of the 2006 ACM symposium on Applied computing,
Djelloul, Khalil ; Dao, Thi-Bich-Hanh - p. 7-14 , 2006
Link: https://dl.acm.org/doi/1..
 
?
9

Décidabilité de contraintes du premier ordre par contrainte..:

Djelloul, Khalil
hal-00387824.  , 2009
Link: https://hal.archives-ouv..
 
?
10

Décidabilité de contraintes du premier ordre par contrainte..:

Djelloul, Khalil
hal-00387824.  , 2009
Link: https://hal.science/hal-..
 
?
11

Theory of Finite or Infinite Trees Revisited:

Djelloul, Khalil ; Dao, Thi-Bich-Hanh ; Fruehwirth, Thom
hal-00202312.  , 2008
Link: https://hal.science/hal-..
 
?
12

Combinaison de la propagation et de la décomposabilité pour..:

Djelloul, Khalil
inria-00294886.  , 2008
Link: https://hal.inria.fr/inr..
 
?
13

Combinaison de la propagation et de la décomposabilité pour..:

Djelloul, Khalil
inria-00294886.  , 2008
Link: https://inria.hal.scienc..
 
?
14

Theory of Finite or Infinite Trees Revisited:

Djelloul, Khalil ; Dao, Thi-Bich-Hanh ; Fruehwirth, Thom
hal-00202312.  , 2008
Link: https://hal.archives-ouv..
 
?
15

Solving First-Order Constraints in the Theory of the Evalua..:

Dao, Thi-Bich-Hanh ; Djelloul, Khalil
hal-00202314.  , 2007
Link: https://hal.science/hal-..
 
1-15