Using Isabelle/HOL to Verify First-Order Relativity Theory Mike StannettIstván Németi OriginalPaper 18 September 2013 Pages: 361 - 378
Array Theory of Bounded Elements and its Applications Min ZhouFei HeJiaguang Sun OriginalPaper 24 September 2013 Pages: 379 - 405
A Goal-Directed Decision Procedure for Hybrid PDL Mark KaminskiGert Smolka OriginalPaper 24 October 2013 Pages: 407 - 450
A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions Chunhan WuXingyuan ZhangChristian Urban OriginalPaper 25 January 2014 Pages: 451 - 480