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