Wu, Chunhan; Zhang, Xingyuan; Urban, Christian A formalisation of the Myhill-Nerode theorem based on regular expressions. (English) Zbl 1314.68179 J. Autom. Reasoning 52, No. 4, 451-480 (2014). MSC: 68Q45 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Kaminski, Mark; Smolka, Gert A goal-directed decision procedure for hybrid PDL. (English) Zbl 1314.03023 J. Autom. Reasoning 52, No. 4, 407-450 (2014). MSC: 03B45 03B25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Zhou, Min; He, Fei; Wang, Bow-Yaw; Gu, Ming; Sun, Jiaguang Array theory of bounded elements and its applications. (English) Zbl 1314.03017 J. Autom. Reasoning 52, No. 4, 379-405 (2014). MSC: 03B25 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Stannett, Mike; Németi, István Using Isabelle/HOL to verify first-order relativity theory. (English) Zbl 1314.68287 J. Autom. Reasoning 52, No. 4, 361-378 (2014). MSC: 68T15 83-04 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link