Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/AnantharamanNR04,
  author       = {Siva Anantharaman and
                  Paliath Narendran and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Unification Modulo \emph{ACUI} Plus Distributivity Axioms},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {1},
  pages        = {1--28},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-2279-7},
  doi          = {10.1007/S10817-004-2279-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AnantharamanNR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/FeuilladeGT04,
  author       = {Guillaume Feuillade and
                  Thomas Genet and
                  Val{\'{e}}rie Viet Triem Tong},
  title        = {Reachability Analysis over Term Rewriting Systems},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {3-4},
  pages        = {341--383},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-6246-0},
  doi          = {10.1007/S10817-004-6246-0},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/FeuilladeGT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Ghilardi04,
  author       = {Silvio Ghilardi},
  title        = {Model-Theoretic Methods in Combined Constraint Satisfiability},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {3-4},
  pages        = {221--249},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-6241-5},
  doi          = {10.1007/S10817-004-6241-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Ghilardi04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KapurV04,
  author       = {Deepak Kapur and
                  Laurent Vigneron},
  title        = {Preface},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {3-4},
  pages        = {219--220},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-6240-6},
  doi          = {10.1007/S10817-004-6240-6},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KapurV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/LiangNQ04,
  author       = {Chuck C. Liang and
                  Gopalan Nadathur and
                  Xiaochu Qi},
  title        = {Choices in Representation and Reduction Strategies for Lambda Terms
                  in Intensional Contexts},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {2},
  pages        = {89--132},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-6885-1},
  doi          = {10.1007/S10817-004-6885-1},
  timestamp    = {Sat, 26 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/LiangNQ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/NewbornW04,
  author       = {Monty Newborn and
                  Zongyan Wang},
  title        = {Octopus: Combining Learning and Parallel Search},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {2},
  pages        = {171--218},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-3243-2},
  doi          = {10.1007/S10817-004-3243-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/NewbornW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Paulson04,
  author       = {Lawrence C. Paulson},
  title        = {Organizing Numerical Theories Using Axiomatic Type Classes},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {1},
  pages        = {29--49},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-3997-6},
  doi          = {10.1007/S10817-004-3997-6},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Paulson04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Peltier04,
  author       = {Nicolas Peltier},
  title        = {Representing and Building Models for Decidable Subclasses of Equational
                  Clausal Logic},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {2},
  pages        = {133--170},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-5555-7},
  doi          = {10.1007/S10817-004-5555-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Peltier04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/TourE04,
  author       = {Thierry Boy de la Tour and
                  Mnacho Echenim},
  title        = {On the Complexity of Deduction Modulo Leaf Permutative Equations},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {3-4},
  pages        = {271--317},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-6244-2},
  doi          = {10.1007/S10817-004-6244-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/TourE04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Urban04,
  author       = {Josef Urban},
  title        = {{MPTP} - Motivation, Implementation, First Experiments},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {3-4},
  pages        = {319--339},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-6245-1},
  doi          = {10.1007/S10817-004-6245-1},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Urban04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ZarbaCS04,
  author       = {Calogero G. Zarba and
                  Domenico Cantone and
                  Jacob T. Schwartz},
  title        = {A Decision Procedure for a Sublanguage of Set Theory Involving Monotone,
                  Additive, and Multiplicative Functions, {I:} The Two-Level Case},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {3-4},
  pages        = {251--269},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-6243-3},
  doi          = {10.1007/S10817-004-6243-3},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ZarbaCS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ZimmerM04,
  author       = {J{\"{u}}rgen Zimmer and
                  Erica Melis},
  title        = {Constraint Solving for Proof Planning},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {1},
  pages        = {51--88},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-2725-6},
  doi          = {10.1007/S10817-004-2725-6},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ZimmerM04.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.