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/jar7.bht:"
download as .bib file
@article{DBLP:journals/jar/Andrews91,
author = {Peter B. Andrews},
title = {More on the Problem of Finding a Mapping between Clause Representation
and Natural Deduction Representation},
journal = {J. Autom. Reason.},
volume = {7},
number = {2},
pages = {285--286},
year = {1991},
url = {https://doi.org/10.1007/BF00243811},
doi = {10.1007/BF00243811},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Andrews91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Bollen91,
author = {A. W. Bollen},
title = {Relevant Logic Programming},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {563--585},
year = {1991},
url = {https://doi.org/10.1007/BF01880329},
doi = {10.1007/BF01880329},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Bollen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BundyHHS91,
author = {Alan Bundy and
Frank van Harmelen and
Jane Hesketh and
Alan Smaill},
title = {Experiments with Proof Plans for Induction},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {303--324},
year = {1991},
url = {https://doi.org/10.1007/BF00249016},
doi = {10.1007/BF00249016},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BundyHHS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Cantone91,
author = {Domenico Cantone},
title = {Decision Procedures for Elementary Sublanguages of Set Theory: X.
Multilevel Syllogistic Extended by the Singleton and Powerset Operators},
journal = {J. Autom. Reason.},
volume = {7},
number = {2},
pages = {193--230},
year = {1991},
url = {https://doi.org/10.1007/BF00243807},
doi = {10.1007/BF00243807},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Cantone91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CantoneS91,
author = {Domenico Cantone and
Jacob T. Schwartz},
title = {Decision Procedures for Elementary Sublanguages of Set Theory: {XI.}
Multilevel Syllogistic Extended by Some Elementary Map Constructs},
journal = {J. Autom. Reason.},
volume = {7},
number = {2},
pages = {231--256},
year = {1991},
url = {https://doi.org/10.1007/BF00243808},
doi = {10.1007/BF00243808},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CantoneS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Catach91,
author = {Laurent Catach},
title = {{TABLEAUX:} {A} General Theorem Prover for Modal Logics},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {489--510},
year = {1991},
url = {https://doi.org/10.1007/BF01880326},
doi = {10.1007/BF01880326},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Catach91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FeldmanR91,
author = {Yishai A. Feldman and
Charles Rich},
title = {Pattern-Directed Invocation with Changing Equations},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {403--433},
year = {1991},
url = {https://doi.org/10.1007/BF00249022},
doi = {10.1007/BF00249022},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FeldmanR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Ferro91,
author = {Alfredo Ferro},
title = {Decision Procedures for Elementary Sublanguages of Set Theory: {XII.}
Multilevel Syllogistic Extended with Singleton and Choice Operators},
journal = {J. Autom. Reason.},
volume = {7},
number = {2},
pages = {257--270},
year = {1991},
url = {https://doi.org/10.1007/BF00243809},
doi = {10.1007/BF00243809},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Ferro91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GabbayK91,
author = {Dov M. Gabbay and
Frank Kriwaczek},
title = {A Family of Goal Directed Theorem Provers Based on Conjunction and
Implication: Part {I}},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {511--536},
year = {1991},
url = {https://doi.org/10.1007/BF01880327},
doi = {10.1007/BF01880327},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GabbayK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/JonghHL91,
author = {Dick De Jongh and
Lex Hendriks and
Gerard R. Renardel de Lavalette},
title = {Computations in Fragments of Intuitionistic Propositional Logic},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {537--561},
year = {1991},
url = {https://doi.org/10.1007/BF01880328},
doi = {10.1007/BF01880328},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JonghHL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Kaufmann91,
author = {Matt Kaufmann},
title = {Generalization in the Presence of Free Variables: {A} Mechanically-Checked
Correctness Proof for one Algorithm},
journal = {J. Autom. Reason.},
volume = {7},
number = {1},
pages = {109--158},
year = {1991},
url = {https://doi.org/10.1007/BF00249356},
doi = {10.1007/BF00249356},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Kaufmann91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Loveland91,
author = {Donald W. Loveland},
title = {Near-Horn Prolog and Beyond},
journal = {J. Autom. Reason.},
volume = {7},
number = {1},
pages = {1--26},
year = {1991},
url = {https://doi.org/10.1007/BF00249353},
doi = {10.1007/BF00249353},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Loveland91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/McRobbie91,
author = {Michael A. McRobbie},
title = {Automated Reasoning and Nonclassical Logics: Introduction},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {447--451},
year = {1991},
url = {https://doi.org/10.1007/BF01880323},
doi = {10.1007/BF01880323},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/McRobbie91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MeyerBP91,
author = {Robert K. Meyer and
Martin W. Bunder and
Lawrence Powers},
title = {Implementing the 'Fool's Model' of Combinatory Logic},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {597--630},
year = {1991},
url = {https://doi.org/10.1007/BF01880331},
doi = {10.1007/BF01880331},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MeyerBP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MintsT91,
author = {Grigori Mints and
Tanel Tammet},
title = {Condensed Detachment is Complete for Relevance Logic: {A} Computer-Aided
Proof},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {587--596},
year = {1991},
url = {https://doi.org/10.1007/BF01880330},
doi = {10.1007/BF01880330},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MintsT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Nutt91,
author = {Werner Nutt},
title = {The Unification Hierarchy is Undecidable},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {369--381},
year = {1991},
url = {https://doi.org/10.1007/BF00249020},
doi = {10.1007/BF00249020},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Nutt91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Padawitz91,
author = {Peter Padawitz},
title = {Inductive Expansion: {A} Calculus for Verifying and Synthesizing Functional
and Logic Programs},
journal = {J. Autom. Reason.},
volume = {7},
number = {1},
pages = {27--103},
year = {1991},
url = {https://doi.org/10.1007/BF00249354},
doi = {10.1007/BF00249354},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Padawitz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ParlamentoP91,
author = {Franco Parlamento and
Alberto Policriti},
title = {Decision Procedures for Elementary Sublanguages of Set Theory: {XIII.}
Model Graphs, Reflection and Decidability},
journal = {J. Autom. Reason.},
volume = {7},
number = {2},
pages = {271--284},
year = {1991},
url = {https://doi.org/10.1007/BF00243810},
doi = {10.1007/BF00243810},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ParlamentoP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Pritchard91,
author = {Paul Pritchard},
title = {Algorithms for Finding Matrix Models of Propositional Calculi},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {475--487},
year = {1991},
url = {https://doi.org/10.1007/BF01880325},
doi = {10.1007/BF01880325},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Pritchard91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Quaife91,
author = {Art Quaife},
title = {Unsolved Problems in Elementary Number Theory},
journal = {J. Autom. Reason.},
volume = {7},
number = {2},
pages = {287--300},
year = {1991},
url = {https://doi.org/10.1007/BF00243812},
doi = {10.1007/BF00243812},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Quaife91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Ramsay91,
author = {Allan Ramsay},
title = {Generating Relevant Models},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {359--368},
year = {1991},
url = {https://doi.org/10.1007/BF00249019},
doi = {10.1007/BF00249019},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Ramsay91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SchreyeMSB91,
author = {Danny De Schreye and
Bern Martens and
Gunther Sablon and
Maurice Bruynooghe},
title = {Compiling Bottom-up and Mixed Derivations into Top-down Executable
Logic Programs},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {337--358},
year = {1991},
url = {https://doi.org/10.1007/BF00249018},
doi = {10.1007/BF00249018},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SchreyeMSB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Slaney91,
author = {John K. Slaney},
title = {The Ackermann Constant Theorem: {A} Computer-Assisted Investigation},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {453--474},
year = {1991},
url = {https://doi.org/10.1007/BF01880324},
doi = {10.1007/BF01880324},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Slaney91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Socher91,
author = {Rolf Socher},
title = {Optimizing the Clausal Normal Form Transformation},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {325--336},
year = {1991},
url = {https://doi.org/10.1007/BF00249017},
doi = {10.1007/BF00249017},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Socher91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Tang91,
author = {Tong Gao Tang},
title = {Programming in Temporal-Nonmonotonic Reasoning},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {383--401},
year = {1991},
url = {https://doi.org/10.1007/BF00249021},
doi = {10.1007/BF00249021},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Tang91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ThistlewaiteM91,
author = {Paul B. Thistlewaite and
Michael A. McRobbie},
title = {Approaching Hard Non-Classical Problems},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {635--637},
year = {1991},
url = {https://doi.org/10.1007/BF01880333},
doi = {10.1007/BF01880333},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ThistlewaiteM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wen-Tsun91,
author = {Wu Wen{-}Ts{\"{u}}n},
title = {Mechanical Theorem Proving of Differential Geometries and Some of
its Applications in Mechanics},
journal = {J. Autom. Reason.},
volume = {7},
number = {2},
pages = {171--191},
year = {1991},
url = {https://doi.org/10.1007/BF00243806},
doi = {10.1007/BF00243806},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Wen-Tsun91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wilding91,
author = {Matthew Wilding},
title = {Proving Matijasevich's Lemma with a Default Arithmetic Strategy},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {439--446},
year = {1991},
url = {https://doi.org/10.1007/BF00249024},
doi = {10.1007/BF00249024},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Wilding91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos91,
author = {Larry Wos},
title = {The Problem of Finding a Restriction Strategy More Effective Than
the Set of Support Strategy},
journal = {J. Autom. Reason.},
volume = {7},
number = {1},
pages = {105--107},
year = {1991},
url = {https://doi.org/10.1007/BF00249355},
doi = {10.1007/BF00249355},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Wos91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos91a,
author = {Larry Wos},
title = {The Problem of Choosing the Type of Subsumption to Use},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {435--438},
year = {1991},
url = {https://doi.org/10.1007/BF00249023},
doi = {10.1007/BF00249023},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Wos91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos91b,
author = {Larry Wos},
title = {The Problem of Choosing the Representation, Inference Rule, and Strategy},
journal = {J. Autom. Reason.},
volume = {7},
number = {4},
pages = {631--634},
year = {1991},
url = {https://doi.org/10.1007/BF01880332},
doi = {10.1007/BF01880332},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Wos91b.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-26 11:56 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:
