Photo of John Patrick Gallagher
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Denmark

20022020

Research output per year

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

Research Output

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