Dirk Vermeir

  joint publications with Davy Van Nieuwenborgh

Keys

# of publication records = 29

journals/tocl/HeymansNV08 journals/amai/NieuwenborghCV07 journals/japll/HeymansNV07 conf/iclp/NieuwenborghCV07 conf/lpnmr/NieuwenborghEV07 journals/amai/HeymansNV06 journals/tplp/NieuwenborghV06 conf/clima/NieuwenborghVHV06 conf/ecai/NieuwenborghHV06 conf/foiks/HeymansNV06 conf/iclp/NieuwenborghHV06 conf/jelia/NieuwenborghCV06 journals/corr/abs-cs-0603025 conf/asp/HeymansNV05 conf/asp/NieuwenborghHV05 conf/esws/HeymansNV05 conf/ictcs/HeymansNV05 conf/lpnmr/HeymansNV05 conf/padl/NieuwenborghHV05 conf/semweb/HeymansNV05 conf/iclp/NieuwenborghHV04 conf/jelia/HeymansNV04 conf/lpar/NieuwenborghHV04 conf/ruleml/HeymansNV04 journals/corr/cs-LO-0407049 conf/agp/NieuwenborghV03 conf/iclp/NieuwenborghV03 conf/lpar/NieuwenborghV03 conf/jelia/NieuwenborghV02

Publications

maintained by Schloss Dagstuhl LZI at University of Trier