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/conf/cade/cade82.bht:"
download as .bib file
@inproceedings{DBLP:conf/cade/Book82,
author = {Ronald V. Book},
editor = {Donald W. Loveland},
title = {The Power of the Church-Rosser Property for String Rewriting Systems},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {360--368},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000070},
doi = {10.1007/BFB0000070},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Book82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Caferra82,
author = {Ricardo Caferra},
editor = {Donald W. Loveland},
title = {Proof by Matrix Reduction as Plan + Validation},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {309--325},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000067},
doi = {10.1007/BFB0000067},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Caferra82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FrischA82,
author = {Alan M. Frisch and
James F. Allen},
editor = {Donald W. Loveland},
title = {Knowledge Retrieval as Limited Inference},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {274--291},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000065},
doi = {10.1007/BFB0000065},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FrischA82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Gabbay82,
author = {Dov M. Gabbay},
editor = {Donald W. Loveland},
title = {Intuitonistic Basis for Non-Monotonic Logic},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {260--273},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000064},
doi = {10.1007/BFB0000064},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Gabbay82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Goad82,
author = {Chris Goad},
editor = {Donald W. Loveland},
title = {Automatic Construction of Special Purpose Programs},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {194--208},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000060},
doi = {10.1007/BFB0000060},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Goad82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GreenbaumNOP82,
author = {Steven Greenbaum and
A. Nagasaka and
Paul O'Rorke and
David A. Plaisted},
editor = {Donald W. Loveland},
title = {Comparison of Natural Deduction and Locking Resolution Implementations},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {159--171},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000058},
doi = {10.1007/BFB0000058},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GreenbaumNOP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HenschenN82,
author = {Lawrence J. Henschen and
Shamim A. Naqvi},
editor = {Donald W. Loveland},
title = {Representing Infinite Sequences of Resolvents in recursive First-Order
Horn Databases},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {342--359},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000069},
doi = {10.1007/BFB0000069},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HenschenN82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HornigB82,
author = {K. M. H{\"{o}}rnig and
Wolfgang Bibel},
editor = {Donald W. Loveland},
title = {Improvements of a Tautology-Testing Algorithm},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {326--341},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000068},
doi = {10.1007/BFB0000068},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HornigB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LuskMO82,
author = {Ewing L. Lusk and
William McCune and
Ross A. Overbeek},
editor = {Donald W. Loveland},
title = {Logic Machine Architecture: Kernel Funtions},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {70--84},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000052},
doi = {10.1007/BFB0000052},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LuskMO82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LuskMO82a,
author = {Ewing L. Lusk and
William McCune and
Ross A. Overbeek},
editor = {Donald W. Loveland},
title = {Logic Machine Architecture: Inference Mechanisms},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {85--108},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000053},
doi = {10.1007/BFB0000053},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LuskMO82a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MatwinP82,
author = {Stan Matwin and
Tomasz Pietrzykowski},
editor = {Donald W. Loveland},
title = {Exponential Improvement of Efficient Backtracking: data Structure
and Implementation},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {240--259},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000063},
doi = {10.1007/BFB0000063},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MatwinP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MillerCA82,
author = {Dale A. Miller and
Eve Longini Cohen and
Peter B. Andrews},
editor = {Donald W. Loveland},
title = {A Look at {TPS}},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {50--69},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000051},
doi = {10.1007/BFB0000051},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MillerCA82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Minker82,
author = {Jack Minker},
editor = {Donald W. Loveland},
title = {On Indefinite Databases and the Closed World Assumption},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {292--308},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000066},
doi = {10.1007/BFB0000066},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Minker82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PietrzykowskiM82,
author = {Tomasz Pietrzykowski and
Stan Matwin},
editor = {Donald W. Loveland},
title = {Exponential Improvement of Efficient Backtracking: {A} Strategy for
Plan-Based Deduction},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {223--239},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000062},
doi = {10.1007/BFB0000062},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/PietrzykowskiM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Shostak82,
author = {Robert E. Shostak},
editor = {Donald W. Loveland},
title = {Deciding Combinations of Theories},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {209--222},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000061},
doi = {10.1007/BFB0000061},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Shostak82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ShostakSM82,
author = {Robert E. Shostak and
Richard L. Schwartz and
P. M. Melliar{-}Smith},
editor = {Donald W. Loveland},
title = {{STP:} {A} Mechanized Logic for Specification and Verification},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {32--49},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000050},
doi = {10.1007/BFB0000050},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ShostakSM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SiekmannS82,
author = {J{\"{o}}rg H. Siekmann and
Peter Szab{\'{o}}},
editor = {Donald W. Loveland},
title = {Universal Unification and a Classification of Equational Theories},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {369--389},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000071},
doi = {10.1007/BFB0000071},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SiekmannS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Silver82,
author = {Bernard Silver},
editor = {Donald W. Loveland},
title = {The Application of Homogenization to Simultaneous Equations},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {132--143},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000055},
doi = {10.1007/BFB0000055},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Silver82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Smith82,
author = {Douglas R. Smith},
editor = {Donald W. Loveland},
title = {Derived Preconditions and Their Use in Program Synthesis},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {172--193},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000059},
doi = {10.1007/BFB0000059},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Smith82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SterlingB82,
author = {Leon Sterling and
Alan Bundy},
editor = {Donald W. Loveland},
title = {Meta-Level Inference and Program Verification},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {144--150},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000056},
doi = {10.1007/BFB0000056},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SterlingB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Weyhrauch82,
author = {Richard W. Weyhrauch},
editor = {Donald W. Loveland},
title = {An Example of {FOL} Using Metatheory},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {151--158},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000057},
doi = {10.1007/BFB0000057},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Weyhrauch82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WinkerW82,
author = {Steven K. Winker and
Larry Wos},
editor = {Donald W. Loveland},
title = {Procedure Implementation Through Demodulation and Related Tricks},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {109--131},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000054},
doi = {10.1007/BFB0000054},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WinkerW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Wos82,
author = {Larry Wos},
editor = {Donald W. Loveland},
title = {Solving Open Questions with an Automated Theorem-Proving Program},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {1--31},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000049},
doi = {10.1007/BFB0000049},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Wos82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1982,
editor = {Donald W. Loveland},
title = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000048},
doi = {10.1007/BFB0000048},
isbn = {3-540-11558-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/1982.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-29 00:58 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:
