Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/AkbarpourP10,
  author       = {Behzad Akbarpour and
                  Lawrence C. Paulson},
  title        = {MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {3},
  pages        = {175--205},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9149-2},
  doi          = {10.1007/S10817-009-9149-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AkbarpourP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BohmeMSW10,
  author       = {Sascha B{\"{o}}hme and
                  Michal Moskal and
                  Wolfram Schulte and
                  Burkhart Wolff},
  title        = {HOL-Boogie - An Interactive Prover-Backend for the Verifying {C} Compiler},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {1-2},
  pages        = {111--144},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9142-9},
  doi          = {10.1007/S10817-009-9142-9},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BohmeMSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CaretteWW10,
  author       = {Jacques Carette and
                  Makarius Wenzel and
                  Freek Wiedijk},
  title        = {Preface},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {1-2},
  pages        = {1--2},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9141-x},
  doi          = {10.1007/S10817-009-9141-X},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CaretteWW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Coen10,
  author       = {Claudio Sacerdoti Coen},
  title        = {Declarative Representation of Proof Terms},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {1-2},
  pages        = {25--52},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9136-7},
  doi          = {10.1007/S10817-009-9136-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Coen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DietrichS10,
  author       = {Dominik Dietrich and
                  Ewaryst Schulz},
  title        = {Crystal: Integrating Structured Queries into a Tactic Language},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {1-2},
  pages        = {79--110},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9138-5},
  doi          = {10.1007/S10817-009-9138-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/DietrichS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/FerrariFF10,
  author       = {Mauro Ferrari and
                  Camillo Fiorentini and
                  Guido Fiorino},
  title        = {\emph{BC}\emph{D}\emph{L}{\textbackslash}boldsymbol \{{\textbackslash}cal
                  BC{\textbackslash}!D{\textbackslash}!L\}: Basic Constructive Description
                  Logic},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {4},
  pages        = {371--399},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9160-7},
  doi          = {10.1007/S10817-009-9160-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/FerrariFF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/GrauHKS10,
  author       = {Bernardo Cuenca Grau and
                  Christian Halaschek{-}Wiener and
                  Yevgeny Kazakov and
                  Boontawee Suntisrivaraporn},
  title        = {Incremental Classification of Description Logics Ontologies},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {4},
  pages        = {337--369},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9159-0},
  doi          = {10.1007/S10817-009-9159-0},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GrauHKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Guidi10,
  author       = {Ferruccio Guidi},
  title        = {Procedural Representation of {CIC} Proof Terms},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {1-2},
  pages        = {53--78},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9137-6},
  doi          = {10.1007/S10817-009-9137-6},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Guidi10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Hermant10,
  author       = {Olivier Hermant},
  title        = {Resolution is Cut-Free},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {3},
  pages        = {245--276},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9153-6},
  doi          = {10.1007/S10817-009-9153-6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Hermant10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/JamesC10,
  author       = {Perry R. James and
                  Patrice Chalin},
  title        = {Faster and More Complete Extended Static Checking for the Java Modeling
                  Language},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {1-2},
  pages        = {145--174},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9134-9},
  doi          = {10.1007/S10817-009-9134-9},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/JamesC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Janicic10,
  author       = {Predrag Janicic},
  title        = {Geometry Constructions Language},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {1-2},
  pages        = {3--24},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9135-8},
  doi          = {10.1007/S10817-009-9135-8},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Janicic10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Krauss10,
  author       = {Alexander Krauss},
  title        = {Partial and Nested Recursive Function Definitions in Higher-order
                  Logic},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {4},
  pages        = {303--336},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9157-2},
  doi          = {10.1007/S10817-009-9157-2},
  timestamp    = {Mon, 26 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/Krauss10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/MendlerS10,
  author       = {Michael Mendler and
                  Stephan Scheele},
  title        = {Towards Constructive {DL} for Abstraction and Refinement},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {3},
  pages        = {207--243},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9151-8},
  doi          = {10.1007/S10817-009-9151-8},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/MendlerS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/PipatsrisawatD10,
  author       = {Knot Pipatsrisawat and
                  Adnan Darwiche},
  title        = {On Modern Clause-Learning Satisfiability Solvers},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {3},
  pages        = {277--301},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9156-3},
  doi          = {10.1007/S10817-009-9156-3},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/PipatsrisawatD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/PiskacMB10,
  author       = {Ruzica Piskac and
                  Leonardo Mendon{\c{c}}a de Moura and
                  Nikolaj S. Bj{\o}rner},
  title        = {Deciding Effectively Propositional Logic Using {DPLL} and Substitution
                  Sets},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {4},
  pages        = {401--424},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9161-6},
  doi          = {10.1007/S10817-009-9161-6},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/PiskacMB10.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.