Vincent Rahli, 23 Oct 2018, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Barthe, G., Sutcliffe, G. & Veanes, M. (eds.). EasyChair Publications, p. 564-58219 p. (EPiC Series in Computing; vol. 57).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The Birmingham Research Portal provides a publicly accessible, fully searchable interface to explore the research undertaken at the University.