Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/BaazLZ13,
  author       = {Matthias Baaz and
                  Ori Lahav and
                  Anna Zamansky},
  title        = {Finite-valued Semantics for Canonical Labelled Calculi},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {4},
  pages        = {401--430},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-013-9273-x},
  doi          = {10.1007/S10817-013-9273-X},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BaazLZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Barrett13,
  author       = {Clark W. Barrett},
  title        = {"Decision Procedures: An Algorithmic Point of View, " by Daniel Kroening
                  and Ofer Strichman, Springer-Verlag, 2008},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {4},
  pages        = {453--456},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-013-9295-4},
  doi          = {10.1007/S10817-013-9295-4},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Barrett13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BjornerS13,
  author       = {Nikolaj S. Bj{\o}rner and
                  Viorica Sofronie{-}Stokkermans},
  title        = {Preface: Special Issue of Selected Extended Papers of {CADE-23}},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {1},
  pages        = {1--2},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-013-9282-9},
  doi          = {10.1007/S10817-013-9282-9},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BjornerS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BlanchetteBP13,
  author       = {Jasmin Christian Blanchette and
                  Sascha B{\"{o}}hme and
                  Lawrence C. Paulson},
  title        = {Extending Sledgehammer with {SMT} Solvers},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {1},
  pages        = {109--128},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-013-9278-5},
  doi          = {10.1007/S10817-013-9278-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BlanchetteBP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Brown13,
  author       = {Chad E. Brown},
  title        = {Reducing Higher-Order Theorem Proving to a Sequence of {SAT} Problems},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {1},
  pages        = {57--77},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-013-9283-8},
  doi          = {10.1007/S10817-013-9283-8},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Brown13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CerritoM13,
  author       = {Serenella Cerrito and
                  Marta Cialdea Mayer},
  title        = {A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid
                  Logic with Binders, Converse and Global Modalities},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {2},
  pages        = {197--239},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-012-9257-2},
  doi          = {10.1007/S10817-012-9257-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CerritoM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CreusGG13,
  author       = {Carles Creus and
                  Adri{\`{a}} Gasc{\'{o}}n and
                  Guillem Godoy},
  title        = {Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality
                  Constraints},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {4},
  pages        = {371--400},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-012-9270-5},
  doi          = {10.1007/S10817-012-9270-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CreusGG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CreusGMT13,
  author       = {Carles Creus and
                  Guillem Godoy and
                  Francesc Massanes and
                  Ashish Tiwari},
  title        = {Non-Linear Rewrite Closure and Weak Normalization},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {3},
  pages        = {281--324},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-012-9262-5},
  doi          = {10.1007/S10817-012-9262-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CreusGMT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/FerrariFF13,
  author       = {Mauro Ferrari and
                  Camillo Fiorentini and
                  Guido Fiorino},
  title        = {Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional
                  Logic with the Subformula Property and Minimal Depth Counter-Models},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {2},
  pages        = {129--149},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-012-9252-7},
  doi          = {10.1007/S10817-012-9252-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/FerrariFF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/GalmicheM13,
  author       = {Didier Galmiche and
                  Daniel M{\'{e}}ry},
  title        = {A Connection-based Characterization of Bi-intuitionistic Validity},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {1},
  pages        = {3--26},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-013-9279-4},
  doi          = {10.1007/S10817-013-9279-4},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GalmicheM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/JovanovicM13,
  author       = {Dejan Jovanovic and
                  Leonardo Mendon{\c{c}}a de Moura},
  title        = {Cutting to the Chase - Solving Linear Integer Arithmetic},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {1},
  pages        = {79--108},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-013-9281-x},
  doi          = {10.1007/S10817-013-9281-X},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/JovanovicM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Lisitsa13,
  author       = {Alexei Lisitsa},
  title        = {Finite Reasons for Safety - Parameterized Verification by Finite Model
                  Finding},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {4},
  pages        = {431--451},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-013-9274-9},
  doi          = {10.1007/S10817-013-9274-9},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Lisitsa13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/LynchTT13,
  author       = {Christopher Lynch and
                  Quang{-}Trung Ta and
                  Duc{-}Khanh Tran},
  title        = {{SMELS:} Satisfiability Modulo Equality with Lazy Superposition},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {3},
  pages        = {325--356},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-012-9263-4},
  doi          = {10.1007/S10817-012-9263-4},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/LynchTT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/MunozN13,
  author       = {C{\'{e}}sar A. Mu{\~{n}}oz and
                  Anthony Narkawicz},
  title        = {Formalization of Bernstein Polynomials and Applications to Global
                  Optimization},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {2},
  pages        = {151--196},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-012-9256-3},
  doi          = {10.1007/S10817-012-9256-3},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/MunozN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/NoschinskiEG13,
  author       = {Lars Noschinski and
                  Fabian Emmes and
                  J{\"{u}}rgen Giesl},
  title        = {Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency
                  Pairs},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {1},
  pages        = {27--56},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-013-9277-6},
  doi          = {10.1007/S10817-013-9277-6},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/NoschinskiEG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/RayS13,
  author       = {Sandip Ray and
                  Rob Sumners},
  title        = {Specification and Verification of Concurrent Programs Through Refinements},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {3},
  pages        = {241--280},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-012-9258-1},
  doi          = {10.1007/S10817-012-9258-1},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/RayS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Sternagel13,
  author       = {Christian Sternagel},
  title        = {Proof Pearl - {A} Mechanized Proof of GHC's Mergesort},
  journal      = {J. Autom. Reason.},
  volume       = {51},
  number       = {4},
  pages        = {357--370},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-012-9260-7},
  doi          = {10.1007/S10817-012-9260-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Sternagel13.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.