default search action
Search dblp for Publications
export results for "toc:db/journals/jar/jar52.bht:"
@article{DBLP:journals/jar/AlamaHKTU14, author = {Jesse Alama and Tom Heskes and Daniel K{\"{u}}hlwein and Evgeni Tsivtsivadze and Josef Urban}, title = {Premise Selection for Mathematics by Corpus Analysis and Kernel Methods}, journal = {J. Autom. Reason.}, volume = {52}, number = {2}, pages = {191--213}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9286-5}, doi = {10.1007/S10817-013-9286-5}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/AlamaHKTU14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/AlkassarBMR14, author = {Eyad Alkassar and Sascha B{\"{o}}hme and Kurt Mehlhorn and Christine Rizkallah}, title = {A Framework for the Verification of Certifying Computations}, journal = {J. Autom. Reason.}, volume = {52}, number = {3}, pages = {241--273}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9289-2}, doi = {10.1007/S10817-013-9289-2}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/AlkassarBMR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Ballarin14, author = {Clemens Ballarin}, title = {Locales: {A} Module System for Mathematical Theories}, journal = {J. Autom. Reason.}, volume = {52}, number = {2}, pages = {123--153}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9284-7}, doi = {10.1007/S10817-013-9284-7}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Ballarin14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Fiorino14, author = {Guido Fiorino}, title = {Terminating Calculi for Propositional Dummett Logic with Subformula Property}, journal = {J. Autom. Reason.}, volume = {52}, number = {1}, pages = {67--97}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9276-7}, doi = {10.1007/S10817-013-9276-7}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Fiorino14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/GwynneK14, author = {Matthew Gwynne and Oliver Kullmann}, title = {Generalising Unit-Refutation Completeness and {SLUR} via Nested Input Resolution}, journal = {J. Autom. Reason.}, volume = {52}, number = {1}, pages = {31--65}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9275-8}, doi = {10.1007/S10817-013-9275-8}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/GwynneK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Hidalgo-DobladoABMR14, author = {Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo{-}Doblado and Jos{\'{e}} A. Alonso{-}Jim{\'{e}}nez and Joaqu{\'{\i}}n Borrego{-}D{\'{\i}}az and Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and Jos{\'{e}}{-}Luis Ruiz{-}Reina}, title = {Formally Verified Tableau-Based Reasoners for a Description Logic}, journal = {J. Autom. Reason.}, volume = {52}, number = {3}, pages = {331--360}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9291-8}, doi = {10.1007/S10817-013-9291-8}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Hidalgo-DobladoABMR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/HidalgoJ14, author = {Marta R. Hidalgo and Robert Joan{-}Arinyo}, title = {The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry}, journal = {J. Autom. Reason.}, volume = {52}, number = {1}, pages = {99--122}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9280-y}, doi = {10.1007/S10817-013-9280-Y}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/HidalgoJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/KaminskiS14, author = {Mark Kaminski and Gert Smolka}, title = {A Goal-Directed Decision Procedure for Hybrid {PDL}}, journal = {J. Autom. Reason.}, volume = {52}, number = {4}, pages = {407--450}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9294-5}, doi = {10.1007/S10817-013-9294-5}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/KaminskiS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/KutsiaLV14, author = {Temur Kutsia and Jordi Levy and Mateu Villaret}, title = {Anti-unification for Unranked Terms and Hedges}, journal = {J. Autom. Reason.}, volume = {52}, number = {2}, pages = {155--190}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9285-6}, doi = {10.1007/S10817-013-9285-6}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/KutsiaLV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/MalkisB14, author = {Alexander Malkis and Anindya Banerjee}, title = {On Automation in the Verification of Software Barriers: Experience Report}, journal = {J. Autom. Reason.}, volume = {52}, number = {3}, pages = {275--329}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9290-9}, doi = {10.1007/S10817-013-9290-9}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/MalkisB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/OmodeoT14, author = {Eugenio G. Omodeo and Alexandru I. Tomescu}, title = {Set Graphs. {III.} Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets}, journal = {J. Autom. Reason.}, volume = {52}, number = {1}, pages = {1--29}, year = {2014}, url = {https://doi.org/10.1007/s10817-012-9272-3}, doi = {10.1007/S10817-012-9272-3}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/OmodeoT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/ParkSPL14, author = {Jonghyun Park and Jeongbong Seo and Sungwoo Park and Gyesik Lee}, title = {Mechanizing Metatheory Without Typing Contexts}, journal = {J. Autom. Reason.}, volume = {52}, number = {2}, pages = {215--239}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9287-4}, doi = {10.1007/S10817-013-9287-4}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/ParkSPL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/StannettN14, author = {Mike Stannett and Istv{\'{a}}n N{\'{e}}meti}, title = {Using Isabelle/HOL to Verify First-Order Relativity Theory}, journal = {J. Autom. Reason.}, volume = {52}, number = {4}, pages = {361--378}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9292-7}, doi = {10.1007/S10817-013-9292-7}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/StannettN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/WuZU14, author = {Chunhan Wu and Xingyuan Zhang and Christian Urban}, title = {A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions}, journal = {J. Autom. Reason.}, volume = {52}, number = {4}, pages = {451--480}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9297-2}, doi = {10.1007/S10817-013-9297-2}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/WuZU14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/ZhouHWGS14, author = {Min Zhou and Fei He and Bow{-}Yaw Wang and Ming Gu and Jiaguang Sun}, title = {Array Theory of Bounded Elements and its Applications}, journal = {J. Autom. Reason.}, volume = {52}, number = {4}, pages = {379--405}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9293-6}, doi = {10.1007/S10817-013-9293-6}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/ZhouHWGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.