Publisher： Springer Publishing Company
Founded in： 1985
Total resources： 33
E-ISSN： 1573-0670
ISSN： 0168-7433
Subject： TP3 Computers
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Automated Reasoning
Menu
A Goal-Directed Decision Procedure for Hybrid PDL
By Kaminski Mark,Smolka Gert in (2014)
Journal of Automated Reasoning , Vol. 52, Iss. 4, 2014-04 , pp.
Access to resources
Recommend
Using Isabelle/HOL to Verify First-Order Relativity Theory
By Stannett Mike,Németi István in (2014)
Journal of Automated Reasoning , Vol. 52, Iss. 4, 2014-04 , pp.A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions
By Wu Chunhan,Zhang Xingyuan,Urban Christian in (2014)
Journal of Automated Reasoning , Vol. 52, Iss. 4, 2014-04 , pp.Array Theory of Bounded Elements and its Applications
By Zhou Min,He Fei,Wang Bow-Yaw,Gu Ming,Sun Jiaguang in (2014)
Journal of Automated Reasoning , Vol. 52, Iss. 4, 2014-04 , pp.Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution
By Gwynne Matthew,Kullmann Oliver in (2014)
Journal of Automated Reasoning , Vol. 52, Iss. 1, 2014-01 , pp.The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry
By Hidalgo Marta,Joan-Arinyo Robert in (2014)
Journal of Automated Reasoning , Vol. 52, Iss. 1, 2014-01 , pp.Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets
By Omodeo Eugenio,Tomescu Alexandru in (2014)
Journal of Automated Reasoning , Vol. 52, Iss. 1, 2014-01 , pp.Terminating Calculi for Propositional Dummett Logic with Subformula Property
Journal of Automated Reasoning , Vol. 52, Iss. 1, 2014-01 , pp.Proof Pearl—A Mechanized Proof of GHC’s Mergesort
By Sternagel Christian in (2013)
Journal of Automated Reasoning , Vol. 51, Iss. 4, 2013-12 , pp.Finite-valued Semantics for Canonical Labelled Calculi
By Baaz Matthias,Lahav Ori,Zamansky Anna in (2013)
Journal of Automated Reasoning , Vol. 51, Iss. 4, 2013-12 , pp.
Previous
Next