Search dblp for Publications

export results for "toc:db/journals/jar/jar52.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.