Concepedia

Khalil Djelloul

KD

Statistics

Publications

2

Citations

25

H-Index

2

Active since

2007

Affiliations

Université d'Orléans(Current)

Khalil Djelloul is an author at Université d'Orléans specializing in computational complexity, multi-sorted logic, and computer science.

Top concepts

Publications per year

2007–2008

2

Publications

2

Theory of finite or infinite trees revisited

Khalil Djelloul, Thi-Bich-Hanh Dao, Thom Frühwirth · Theory and Practice of Logic Programming · 2008 · 15 citations

Decomposable theories

Khalil Djelloul · Theory and Practice of Logic Programming · 2007 · 10 citations

, , +13

1–2 of 2