BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
Collaborated with:
I.Dasseville G.Janssens M.Denecker
Talks about:
logic (2) framework (1) composit (1) templat (1) support (1) languag (1) specif (1) semant (1) higher (1) applic (1)

Person: Matthias van der Hallen

DBLP DBLP: Hallen:Matthias_van_der

Contributed to:

ICLP TC 20152015
ICLP 20152015

Wrote 2 papers:

ICLP-2015-Hallen #data mining #higher-order #logic #mining #specification
Higher Order Support in Logic Specification Languages for Data Mining Applications (MvdH), pp. 330–336.
ICLP-J-2015-DassevilleHJD #composition #framework #logic #semantics
Semantics of templates in a compositional framework for building logics (ID, MvdH, GJ, MD), pp. 681–695.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.