Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

20022018
If you made any changes in Pure these will be visible here soon.

Research Output 2002 2018

Filter
Conference abstract for conference
2012

Towards Abstract Interpretation of Epistemic Logic

Ajspur, M. & Gallagher, J. P. Aug 2012 3 p.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

File