×
Author ID: djelloul.khalil Recent zbMATH articles by "Djelloul, Khalil"
Published as: Djelloul, Khalil
Documents Indexed: 12 Publications since 2005
Co-Authors: 4 Co-Authors with 6 Joint Publications
32 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 26 times in 9 Documents Cited by Year
Theory of finite or infinite trees revisited. Zbl 1148.68043
Djelloul, Khalil; Dao, Thi-Bich-Hanh; Frühwirth, Thom
9
2008
About the combination of trees and rational numbers in a complete first-order theory. Zbl 1171.03321
Djelloul, Khalil
4
2005
Decomposable theories. Zbl 1129.03016
Djelloul, Khalil
4
2007
A full first-order constraint solver for decomposable theories. Zbl 1166.68344
Djelloul, Khalil
3
2008
Extension of first-order theories into trees. Zbl 1156.03312
Djelloul, Khalil; Dao, Thi-Bich-Hanh
3
2006
Solving first-order constraints in the theory of the evaluated trees. Zbl 1176.68198
Dao, Thi-Bich-Hanh; Djelloul, Khalil
2
2007
A unified semantics for constraint handling rules in transaction logic. Zbl 1149.68424
Meister, Marc; Djelloul, Khalil; Robin, Jacques
1
2007
Theory of finite or infinite trees revisited. Zbl 1148.68043
Djelloul, Khalil; Dao, Thi-Bich-Hanh; Frühwirth, Thom
9
2008
A full first-order constraint solver for decomposable theories. Zbl 1166.68344
Djelloul, Khalil
3
2008
Decomposable theories. Zbl 1129.03016
Djelloul, Khalil
4
2007
Solving first-order constraints in the theory of the evaluated trees. Zbl 1176.68198
Dao, Thi-Bich-Hanh; Djelloul, Khalil
2
2007
A unified semantics for constraint handling rules in transaction logic. Zbl 1149.68424
Meister, Marc; Djelloul, Khalil; Robin, Jacques
1
2007
Extension of first-order theories into trees. Zbl 1156.03312
Djelloul, Khalil; Dao, Thi-Bich-Hanh
3
2006
About the combination of trees and rational numbers in a complete first-order theory. Zbl 1171.03321
Djelloul, Khalil
4
2005