External Links

    Journal: Journal of Automated Reasoning

    Volume 52, Issue 4

    361 -- 378Mike Stannett, István Németi. Using Isabelle/HOL to Verify First-Order Relativity Theory
    379 -- 405Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun. Array Theory of Bounded Elements and its Applications
    407 -- 450Mark Kaminski, Gert Smolka. A Goal-Directed Decision Procedure for Hybrid PDL
    451 -- 480Chunhan Wu, Xingyuan Zhang, Christian Urban. A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions
    runs on