106 articles – 48 Notices  [english version]
.:. Consultation > Liste par auteurs > Djelloul .:.
4 documents classés par :
fulltext access decomposable theories
Djelloul K.
Theory and Practice of Logic Programming (2007) 7(5) : 583-632 [hal-00202311 - version 1]
fulltext access Resolution de contraintes du premier ordre dans des théories dites décomposables.
Djelloul K.
Dans actes de ROADEF 2006 7eme congres de la Société Française de Recherche Opérationnelle et d'Aide a la Décision. - ROADEF 2006 7eme congres de la Société Française de Recherche Opérationnelle et d'Aide a la Décision., France (2006) [hal-00202310 - version 1]
fulltext access Complétude des extensions en arbres de théories
Djelloul K., Dao T.-B.-H.
Journées Francophones de Programmation par Contraintes, (2006) [inria-00085774 - version 1]
fulltext access Résolution de contraintes du premier ordre dans la théorie des arbres évalués
Dao T.-B.-H., Djelloul K.
Journées Francophones de Programmation par Contraintes, (2006) [inria-00085773 - version 1]