Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jar/jar5.bht:"
download as .bib file
@article{DBLP:journals/jar/Andrews89,
author = {Peter B. Andrews},
title = {On Connections and Higher-Order Logic},
journal = {J. Autom. Reason.},
volume = {5},
number = {3},
pages = {257--291},
year = {1989},
url = {https://doi.org/10.1007/BF00248320},
doi = {10.1007/BF00248320},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Andrews89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Bevier89,
author = {William R. Bevier},
title = {Kit and the Short Stack},
journal = {J. Autom. Reason.},
volume = {5},
number = {4},
pages = {519--530},
year = {1989},
url = {https://doi.org/10.1007/BF00243135},
doi = {10.1007/BF00243135},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Bevier89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BevierHMY89,
author = {William R. Bevier and
Warren A. Hunt Jr. and
J Strother Moore and
William D. Young},
title = {An Approach to Systems Verification},
journal = {J. Autom. Reason.},
volume = {5},
number = {4},
pages = {411--428},
year = {1989},
url = {https://doi.org/10.1007/BF00243131},
doi = {10.1007/BF00243131},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BevierHMY89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CharMS89,
author = {Bruce W. Char and
Alan R. Macnaughton and
Paul A. Strooper},
title = {Discovering Inequality Conditions in the Analytic Solution of Optimization
Problems},
journal = {J. Autom. Reason.},
volume = {5},
number = {3},
pages = {339--362},
year = {1989},
url = {https://doi.org/10.1007/BF00248323},
doi = {10.1007/BF00248323},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CharMS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ChisholmSW89,
author = {Gregory H. Chisholm and
Brian T. Smith and
Anthony S. Wojcik},
title = {An Automated Reasoning Problem Associated with Proving Claims about
Programs Using Floyd-Hoare Inductive Assertin Methods},
journal = {J. Autom. Reason.},
volume = {5},
number = {4},
pages = {533--540},
year = {1989},
url = {https://doi.org/10.1007/BF00243137},
doi = {10.1007/BF00243137},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ChisholmSW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Cohn89,
author = {Avra Cohn},
title = {The Notion of Proof in Hardware Verification},
journal = {J. Autom. Reason.},
volume = {5},
number = {2},
pages = {127--139},
year = {1989},
url = {https://doi.org/10.1007/BF00243000},
doi = {10.1007/BF00243000},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Cohn89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FurbachHS89,
author = {Ulrich Furbach and
Steffen H{\"{o}}lldobler and
Joachim F. Schreiber},
title = {Horn Equational Theories and Paramodulation},
journal = {J. Autom. Reason.},
volume = {5},
number = {3},
pages = {309--337},
year = {1989},
url = {https://doi.org/10.1007/BF00248322},
doi = {10.1007/BF00248322},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FurbachHS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Hunt89,
author = {Warren A. Hunt Jr.},
title = {Microprocessor Design Verification},
journal = {J. Autom. Reason.},
volume = {5},
number = {4},
pages = {429--460},
year = {1989},
url = {https://doi.org/10.1007/BF00243132},
doi = {10.1007/BF00243132},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Hunt89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Lankford89,
author = {Dallas Lankford},
title = {Non-Negative Integer Basis Algorithms for Linear Equations with Integer
Coefficients},
journal = {J. Autom. Reason.},
volume = {5},
number = {1},
pages = {25--35},
year = {1989},
url = {https://doi.org/10.1007/BF00245019},
doi = {10.1007/BF00245019},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Lankford89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LeungL89,
author = {Kwong{-}Sak Leung and
W. Lam},
title = {A Fuzzy Expert System Shell Using Both Exact and Inexact Reasoning},
journal = {J. Autom. Reason.},
volume = {5},
number = {2},
pages = {207--233},
year = {1989},
url = {https://doi.org/10.1007/BF00243003},
doi = {10.1007/BF00243003},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LeungL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Lifschitz89,
author = {Vladimir Lifschitz},
title = {What Is the Inverse Method?},
journal = {J. Autom. Reason.},
volume = {5},
number = {1},
pages = {1--23},
year = {1989},
url = {https://doi.org/10.1007/BF00245018},
doi = {10.1007/BF00245018},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Lifschitz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Moore89,
author = {J Strother Moore},
title = {A Mechanically Verified Language Implementation},
journal = {J. Autom. Reason.},
volume = {5},
number = {4},
pages = {461--492},
year = {1989},
url = {https://doi.org/10.1007/BF00243133},
doi = {10.1007/BF00243133},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Moore89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Paulson89,
author = {Lawrence C. Paulson},
title = {The Foundation of a Generic Theorem Prover},
journal = {J. Autom. Reason.},
volume = {5},
number = {3},
pages = {363--397},
year = {1989},
url = {https://doi.org/10.1007/BF00248324},
doi = {10.1007/BF00248324},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Paulson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Przymusinski89,
author = {Teodor C. Przymusinski},
title = {On the Declarative and Procedural Semantics of Logic Programs},
journal = {J. Autom. Reason.},
volume = {5},
number = {2},
pages = {167--205},
year = {1989},
url = {https://doi.org/10.1007/BF00243002},
doi = {10.1007/BF00243002},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Przymusinski89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PurushothamanS89,
author = {S. Purushothaman and
P. A. Subrahmanyam},
title = {Mechanical Certification of Systolic Algorithms},
journal = {J. Autom. Reason.},
volume = {5},
number = {1},
pages = {67--91},
year = {1989},
url = {https://doi.org/10.1007/BF00245022},
doi = {10.1007/BF00245022},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/PurushothamanS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Quaife89,
author = {Art Quaife},
title = {Automated Development of Tarski's Geometry},
journal = {J. Autom. Reason.},
volume = {5},
number = {1},
pages = {97--118},
year = {1989},
url = {https://doi.org/10.1007/BF00245024},
doi = {10.1007/BF00245024},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Quaife89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RajasekarLM89,
author = {Arcot Rajasekar and
Jorge Lobo and
Jack Minker},
title = {Weak Generalized Closed World Assumption},
journal = {J. Autom. Reason.},
volume = {5},
number = {3},
pages = {293--307},
year = {1989},
url = {https://doi.org/10.1007/BF00248321},
doi = {10.1007/BF00248321},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/RajasekarLM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SchmidSF89,
author = {Richard Schmid and
Hans{-}Albert Schneider and
Thomas Filkorn},
title = {Using an Extended {PROLOG} to Solve the Lion and Unicorn Puzzle},
journal = {J. Autom. Reason.},
volume = {5},
number = {3},
pages = {403--408},
year = {1989},
url = {https://doi.org/10.1007/BF00248326},
doi = {10.1007/BF00248326},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SchmidSF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Tang89,
author = {Tong Gao Tang},
title = {Temporal Logic {CTL} + {PROLOG}},
journal = {J. Autom. Reason.},
volume = {5},
number = {1},
pages = {49--65},
year = {1989},
url = {https://doi.org/10.1007/BF00245021},
doi = {10.1007/BF00245021},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Tang89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/WangS89,
author = {Tie{-}Cheng Wang and
Rick Stevens},
title = {Solving Open Problems in Right Alternative Rings with Z-Module Reasoning},
journal = {J. Autom. Reason.},
volume = {5},
number = {2},
pages = {141--165},
year = {1989},
url = {https://doi.org/10.1007/BF00243001},
doi = {10.1007/BF00243001},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/WangS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/WickM89,
author = {Cynthia A. Wick and
William McCune},
title = {Automated Reasoning about Elementary Point-Set Topology},
journal = {J. Autom. Reason.},
volume = {5},
number = {2},
pages = {239--255},
year = {1989},
url = {https://doi.org/10.1007/BF00243005},
doi = {10.1007/BF00243005},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/WickM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wolfram89,
author = {David A. Wolfram},
title = {Intractable Unifiability Problems and Backtracking},
journal = {J. Autom. Reason.},
volume = {5},
number = {1},
pages = {37--47},
year = {1989},
url = {https://doi.org/10.1007/BF00245020},
doi = {10.1007/BF00245020},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/Wolfram89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos89,
author = {Larry Wos},
title = {The Problem of Finding an Inference Rule for Set Theory},
journal = {J. Autom. Reason.},
volume = {5},
number = {1},
pages = {93--95},
year = {1989},
url = {https://doi.org/10.1007/BF00245023},
doi = {10.1007/BF00245023},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Wos89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos89a,
author = {Larry Wos},
title = {The Problem of Determining the Size of a Complete Set of Reductions},
journal = {J. Autom. Reason.},
volume = {5},
number = {2},
pages = {235--237},
year = {1989},
url = {https://doi.org/10.1007/BF00243004},
doi = {10.1007/BF00243004},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Wos89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos89b,
author = {Larry Wos},
title = {The Problem of Guaranteeing the Existence of a Complete Set of Reductions},
journal = {J. Autom. Reason.},
volume = {5},
number = {3},
pages = {399--401},
year = {1989},
url = {https://doi.org/10.1007/BF00248325},
doi = {10.1007/BF00248325},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Wos89b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos89c,
author = {Larry Wos},
title = {The Problem of Guaranteeing the Absence of a Complete Set of Reductions},
journal = {J. Autom. Reason.},
volume = {5},
number = {4},
pages = {531--532},
year = {1989},
url = {https://doi.org/10.1007/BF00243136},
doi = {10.1007/BF00243136},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Wos89c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Young89,
author = {William D. Young},
title = {A Mechanically Verified Code Generator},
journal = {J. Autom. Reason.},
volume = {5},
number = {4},
pages = {493--518},
year = {1989},
url = {https://doi.org/10.1007/BF00243134},
doi = {10.1007/BF00243134},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Young89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2024-05-01 12:38 CEST 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:
