1 results
αCheck: A mechanized metatheory model checker*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 3 / May 2017
- Published online by Cambridge University Press:
- 22 May 2017, pp. 311-352
-
- Article
- Export citation
Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more: https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption