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}
}
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.