default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jar/jar40.bht:"
download as .bib file
@article{DBLP:journals/jar/AransayBR08,
author = {Jes{\'{u}}s Aransay and
Clemens Ballarin and
Julio Rubio},
title = {A Mechanized Proof of the Basic Perturbation Lemma},
journal = {J. Autom. Reason.},
volume = {40},
number = {4},
pages = {271--292},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9094-x},
doi = {10.1007/S10817-007-9094-X},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/AransayBR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BezemH08,
author = {Marc Bezem and
Dimitri Hendriks},
title = {On the Mechanization of the Proof of Hessenberg's Theorem in Coherent
Logic},
journal = {J. Autom. Reason.},
volume = {40},
number = {1},
pages = {61--85},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9086-x},
doi = {10.1007/S10817-007-9086-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BezemH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BrockKM08,
author = {Bishop Brock and
Matt Kaufmann and
J Strother Moore},
title = {Rewriting with Equivalence Relations in {ACL2}},
journal = {J. Autom. Reason.},
volume = {40},
number = {4},
pages = {293--306},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9095-9},
doi = {10.1007/S10817-007-9095-9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BrockKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ChaudhuriPP08,
author = {Kaustuv Chaudhuri and
Frank Pfenning and
Greg Price},
title = {A Logical Characterization of Forward and Backward Chaining in the
Inverse Method},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {133--177},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9091-0},
doi = {10.1007/S10817-007-9091-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ChaudhuriPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/EndrullisWZ08,
author = {J{\"{o}}rg Endrullis and
Johannes Waldmann and
Hans Zantema},
title = {Matrix Interpretations for Proving Termination of Term Rewriting},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {195--220},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9087-9},
doi = {10.1007/S10817-007-9087-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/EndrullisWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Furbach08,
author = {Ulrich Furbach},
title = {{IJCAR} Preface},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {87--88},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9088-8},
doi = {10.1007/S10817-007-9088-8},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Furbach08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KazakovM08,
author = {Yevgeny Kazakov and
Boris Motik},
title = {A Resolution-Based Decision Procedure for \emph{SHOIQ}},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {89--116},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9090-1},
doi = {10.1007/S10817-007-9090-1},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KazakovM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KazakovM08a,
author = {Yevgeny Kazakov and
Boris Motik},
title = {A Resolution-Based Decision Procedure for \emph{SHOIQ}},
journal = {J. Autom. Reason.},
volume = {40},
number = {4},
pages = {357},
year = {2008},
url = {https://doi.org/10.1007/s10817-008-9100-y},
doi = {10.1007/S10817-008-9100-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KazakovM08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LiffitonS08,
author = {Mark H. Liffiton and
Karem A. Sakallah},
title = {Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints},
journal = {J. Autom. Reason.},
volume = {40},
number = {1},
pages = {1--33},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9084-z},
doi = {10.1007/S10817-007-9084-Z},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LiffitonS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MengP08,
author = {Jia Meng and
Lawrence C. Paulson},
title = {Translating Higher-Order Clauses to First-Order Clauses},
journal = {J. Autom. Reason.},
volume = {40},
number = {1},
pages = {35--60},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9085-y},
doi = {10.1007/S10817-007-9085-Y},
timestamp = {Tue, 28 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MengP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Paskevich08,
author = {Andrey Paskevich},
title = {Connection Tableaux with Lazy Paramodulation},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {179--194},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9089-7},
doi = {10.1007/S10817-007-9089-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Paskevich08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RayHMM08,
author = {Sandip Ray and
Warren A. Hunt Jr. and
John Matthews and
J Strother Moore},
title = {A Mechanical Analysis of Program Verification Strategies},
journal = {J. Autom. Reason.},
volume = {40},
number = {4},
pages = {245--269},
year = {2008},
url = {https://doi.org/10.1007/s10817-008-9098-1},
doi = {10.1007/S10817-008-9098-1},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/RayHMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RideauSL08,
author = {Laurence Rideau and
Bernard P. Serpette and
Xavier Leroy},
title = {Tilting at Windmills with Coq: Formal Verification of a Compilation
Algorithm for Parallel Moves},
journal = {J. Autom. Reason.},
volume = {40},
number = {4},
pages = {307--326},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9096-8},
doi = {10.1007/S10817-007-9096-8},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/RideauSL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SorgeMMC08,
author = {Volker Sorge and
Andreas Meier and
Roy L. McCasland and
Simon Colton},
title = {Automatic Construction and Verification of Isotopy Invariants},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {221--243},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9093-y},
doi = {10.1007/S10817-007-9093-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SorgeMMC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/TomanW08,
author = {David Toman and
Grant E. Weddell},
title = {On Keys and Functional Dependencies as First-Class Citizens in Description
Logics},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {117--132},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9092-z},
doi = {10.1007/S10817-007-9092-Z},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/TomanW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Urban08,
author = {Christian Urban},
title = {Nominal Techniques in Isabelle/HOL},
journal = {J. Autom. Reason.},
volume = {40},
number = {4},
pages = {327--356},
year = {2008},
url = {https://doi.org/10.1007/s10817-008-9097-2},
doi = {10.1007/S10817-008-9097-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Urban08.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.
retrieved on 2025-01-07 10:53 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
