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/cade90.bht:"
download as .bib file
@inproceedings{DBLP:conf/cade/AltucherP90,
author = {James A. Altucher and
Prakash Panangaden},
editor = {Mark E. Stickel},
title = {A Mechanically Assisted Constructive Proof in Category Theory},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {500--513},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_110},
doi = {10.1007/3-540-52885-7\_110},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/AltucherP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AndrewsINP90,
author = {Peter B. Andrews and
Sunil Issar and
Dan Nesmith and
Frank Pfenning},
editor = {Mark E. Stickel},
title = {The {TPS} Theorem Proving System},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {641--642},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_120},
doi = {10.1007/3-540-52885-7\_120},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AndrewsINP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Baader90,
author = {Franz Baader},
editor = {Mark E. Stickel},
title = {Rewrite Systems for Varieties of Semigroups},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {396--410},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_102},
doi = {10.1007/3-540-52885-7\_102},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Baader90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairG90,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Mark E. Stickel},
title = {On Restrictions of Ordered Paramodulation with Simplification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {427--441},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_105},
doi = {10.1007/3-540-52885-7\_105},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BachmairG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaralLM90,
author = {Chitta Baral and
Jorge Lobo and
Jack Minker},
editor = {Mark E. Stickel},
title = {Generalized Well-founded Semantics for Logic Programs (Extended Abstract)},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {102--116},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_82},
doi = {10.1007/3-540-52885-7\_82},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BaralLM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Basin90,
author = {David A. Basin},
editor = {Mark E. Stickel},
title = {Equality of Terms Containing Associative-Commutative Functions and
Commutative Binding Operators in Isomorphism Complete},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {251--260},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_92},
doi = {10.1007/3-540-52885-7\_92},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Basin90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Benanav90,
author = {Dan Benanav},
editor = {Mark E. Stickel},
title = {Simultaneous Paramodulation},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {442--455},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_106},
doi = {10.1007/3-540-52885-7\_106},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Benanav90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Bibel90,
author = {Wolfgang Bibel},
editor = {Mark E. Stickel},
title = {Perspectives on Automated Deduction (Abstract)},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {426},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_104},
doi = {10.1007/3-540-52885-7\_104},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Bibel90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Boudet90,
author = {Alexandre Boudet},
editor = {Mark E. Stickel},
title = {Unification in a Combination of Equational Theories: an Efficient
Algorithm},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {292--307},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_95},
doi = {10.1007/3-540-52885-7\_95},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Boudet90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BoyerM90,
author = {Robert S. Boyer and
J Strother Moore},
editor = {Mark E. Stickel},
title = {A Theorem Prover for a Computational Logic},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {1--15},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_75},
doi = {10.1007/3-540-52885-7\_75},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BoyerM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrownA90,
author = {Frank M. Brown and
Carlos Araya},
editor = {Mark E. Stickel},
title = {Schemata},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {643--644},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_121},
doi = {10.1007/3-540-52885-7\_121},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrownA90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrownA90a,
author = {Frank M. Brown and
Carlos Araya},
editor = {Mark E. Stickel},
title = {Cylindric Algebra Equation Solver},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {645--646},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_122},
doi = {10.1007/3-540-52885-7\_122},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrownA90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Bundy90,
author = {Alan Bundy},
editor = {Mark E. Stickel},
title = {A Science of Reasoning: Extended Abstract},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {633--640},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_119},
doi = {10.1007/3-540-52885-7\_119},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Bundy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BundyHHS90,
author = {Alan Bundy and
Frank van Harmelen and
Christian Horn and
Alan Smaill},
editor = {Mark E. Stickel},
title = {The Oyster-Clam System},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {647--648},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_123},
doi = {10.1007/3-540-52885-7\_123},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BundyHHS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BundyHSI90,
author = {Alan Bundy and
Frank van Harmelen and
Alan Smaill and
Andrew Ireland},
editor = {Mark E. Stickel},
title = {Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {132--146},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_84},
doi = {10.1007/3-540-52885-7\_84},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BundyHSI90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Burckert90,
author = {Hans{-}J{\"{u}}rgen B{\"{u}}rckert},
editor = {Mark E. Stickel},
title = {A Resolution Principle for Clauses with Constraints},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {178--192},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_87},
doi = {10.1007/3-540-52885-7\_87},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Burckert90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ButlerFJO90,
author = {Ralph Butler and
Ian T. Foster and
Anita Jindal and
Ross A. Overbeek},
editor = {Mark E. Stickel},
title = {A High-Performance Parallel Theorem Prover},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {649--650},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_124},
doi = {10.1007/3-540-52885-7\_124},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ButlerFJO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChouG90,
author = {Shang{-}Ching Chou and
Xiao{-}Shan Gao},
editor = {Mark E. Stickel},
title = {Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {207--220},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_89},
doi = {10.1007/3-540-52885-7\_89},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChouG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CostaHLS90,
author = {Newton C. A. da Costa and
Lawrence J. Henschen and
James J. Lu and
V. S. Subrahmanian},
editor = {Mark E. Stickel},
title = {Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {72--86},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_80},
doi = {10.1007/3-540-52885-7\_80},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CostaHLS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DoughertyJ90,
author = {Daniel J. Dougherty and
Patricia Johann},
editor = {Mark E. Stickel},
title = {An Improved General E-Unification Method},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {261--275},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_93},
doi = {10.1007/3-540-52885-7\_93},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DoughertyJ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/EichenlaubEHKP90,
author = {Carl Eichenlaub and
Bruce Esrig and
James Hook and
Carl Klapper and
Garrel Pottinger},
editor = {Mark E. Stickel},
title = {The Romulus Proof Checker},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {651--652},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_125},
doi = {10.1007/3-540-52885-7\_125},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/EichenlaubEHKP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FarmerGT90,
author = {William M. Farmer and
Joshua D. Guttman and
F. Javier Thayer},
editor = {Mark E. Stickel},
title = {{IMPS:} An Interactive Mathematical Proof System},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {653--654},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_126},
doi = {10.1007/3-540-52885-7\_126},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FarmerGT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FeltyGMP90,
author = {Amy P. Felty and
Elsa L. Gunter and
Dale Miller and
Frank Pfenning},
editor = {Mark E. Stickel},
title = {Tutorial on Lambda-Prolog},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {682},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_142},
doi = {10.1007/3-540-52885-7\_142},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FeltyGMP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FeltyM90,
author = {Amy P. Felty and
Dale Miller},
editor = {Mark E. Stickel},
title = {Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {221--235},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_90},
doi = {10.1007/3-540-52885-7\_90},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FeltyM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Gramlich90,
author = {Bernhard Gramlich},
editor = {Mark E. Stickel},
title = {{UNICOM:} {A} Refined Completion Based Inductive Theorem Prover},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {655--656},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_127},
doi = {10.1007/3-540-52885-7\_127},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Gramlich90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Hagiya90,
author = {Masami Hagiya},
editor = {Mark E. Stickel},
title = {Programming by Example and Proving by Example Using Higher-order Unification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {588--602},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_116},
doi = {10.1007/3-540-52885-7\_116},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Hagiya90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HeiselRS90,
author = {Maritta Heisel and
Wolfgang Reif and
Werner Stephan},
editor = {Mark E. Stickel},
title = {Tactical Theorem Proving in Program Verification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {117--131},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_83},
doi = {10.1007/3-540-52885-7\_83},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HeiselRS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Hines90,
author = {Larry M. Hines},
editor = {Mark E. Stickel},
title = {Str+ve-Subset: The Str+ve-based Subset Prover},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {193--206},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_88},
doi = {10.1007/3-540-52885-7\_88},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Hines90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HsiangJ90,
author = {Jieh Hsiang and
Jean{-}Pierre Jouannaud},
editor = {Mark E. Stickel},
title = {Tutorial on Rewrite-Based Theorem Proving},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {684},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_146},
doi = {10.1007/3-540-52885-7\_146},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HsiangJ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Hutter90,
author = {Dieter Hutter},
editor = {Mark E. Stickel},
title = {Guiding Induction Proofs},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {147--161},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_85},
doi = {10.1007/3-540-52885-7\_85},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Hutter90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/JacksonP90,
author = {Peter Jackson and
John Pais},
editor = {Mark E. Stickel},
title = {Computing Prime Implicants},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {543--557},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_113},
doi = {10.1007/3-540-52885-7\_113},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/JacksonP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KaflZ90,
author = {Thomas K{\"{a}}ufl and
Nicolas Zabel},
editor = {Mark E. Stickel},
title = {The Theorem Prover of the Program Verifier Tatzelwurm},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {657--658},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_128},
doi = {10.1007/3-540-52885-7\_128},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KaflZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kaufmann90,
author = {Matt Kaufmann},
editor = {Mark E. Stickel},
title = {{RCL:} {A} Lisp Verification System},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {659--660},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_129},
doi = {10.1007/3-540-52885-7\_129},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Kaufmann90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kirchner90,
author = {Claude Kirchner},
editor = {Mark E. Stickel},
title = {Tutorial on Equational Unification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {682},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_143},
doi = {10.1007/3-540-52885-7\_143},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Kirchner90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LeeH90,
author = {Sang Ho Lee and
Lawrence J. Henschen},
editor = {Mark E. Stickel},
title = {Substitution-based Compilation of Extended Rules in Deductive Databases},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {57--71},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_79},
doi = {10.1007/3-540-52885-7\_79},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LeeH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Lescanne90,
author = {Pierre Lescanne},
editor = {Mark E. Stickel},
title = {{ORME:} An Implementation of Completion Procedures as Sets of Transition
Rules},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {661--662},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_130},
doi = {10.1007/3-540-52885-7\_130},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Lescanne90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LuskM90,
author = {Ewing L. Lusk and
William McCune},
editor = {Mark E. Stickel},
title = {Tutorial on High-Performance Automated Theorem Proving},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {681},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_140},
doi = {10.1007/3-540-52885-7\_140},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LuskM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MartinN90,
author = {Ursula Martin and
Tobias Nipkow},
editor = {Mark E. Stickel},
title = {Ordered Rewriting and Confluence},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {366--380},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_100},
doi = {10.1007/3-540-52885-7\_100},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MartinN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/McCune90,
author = {William McCune},
editor = {Mark E. Stickel},
title = {{OTTER} 2.0},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {663--664},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_131},
doi = {10.1007/3-540-52885-7\_131},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/McCune90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/McMichael90,
author = {Alan F. McMichael},
editor = {Mark E. Stickel},
title = {{SLIM:} An Automated Reasoner For Equivalences, Applied To Set Theory},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {308--321},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_96},
doi = {10.1007/3-540-52885-7\_96},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/McMichael90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MullerBNNS90,
author = {J{\"{u}}rgen M{\"{u}}ller and
Franz Baader and
Bernhard Nebel and
Werner Nutt and
Gert Smolka},
editor = {Mark E. Stickel},
title = {Tutorial on Reasoning and Representation with Concept Languages},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {681},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_141},
doi = {10.1007/3-540-52885-7\_141},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MullerBNNS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MurrayR90,
author = {Neil V. Murray and
Erik Rosenthal},
editor = {Mark E. Stickel},
title = {{DISSOLVER:} {A} Dissolution-based Theorem Prover},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {665--666},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_132},
doi = {10.1007/3-540-52885-7\_132},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MurrayR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NarendranO90,
author = {Paliath Narendran and
Friedrich Otto},
editor = {Mark E. Stickel},
title = {Some Results on Equational Unification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {276--291},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_94},
doi = {10.1007/3-540-52885-7\_94},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NarendranO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NieP90,
author = {Xumin Nie and
David A. Plaisted},
editor = {Mark E. Stickel},
title = {A Complete Semantic Back Chaining Proof System},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {16--27},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_76},
doi = {10.1007/3-540-52885-7\_76},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NieP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NieuwenhuisOR90,
author = {Robert Nieuwenhuis and
Fernando Orejas and
Albert Rubio},
editor = {Mark E. Stickel},
title = {{TRIP:} An Implementation of Clausal Rewriting},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {667--668},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_133},
doi = {10.1007/3-540-52885-7\_133},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NieuwenhuisOR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Nutt90,
author = {Werner Nutt},
editor = {Mark E. Stickel},
title = {Unification in Monoidal Theories},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {618--632},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_118},
doi = {10.1007/3-540-52885-7\_118},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Nutt90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OhlbachH90,
author = {Hans J{\"{u}}rgen Ohlbach and
Andreas Herzig},
editor = {Mark E. Stickel},
title = {Tutorial on Compilation techniques for Logics},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {683},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_144},
doi = {10.1007/3-540-52885-7\_144},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/OhlbachH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OzturkH90,
author = {Yusuf Ozturk and
Lawrence J. Henschen},
editor = {Mark E. Stickel},
title = {Hyper Resolution and Equality Axioms without Function Substitutions},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {456--469},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_107},
doi = {10.1007/3-540-52885-7\_107},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/OzturkH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Peterson90,
author = {Gerald E. Peterson},
editor = {Mark E. Stickel},
title = {Complete Sets of Reductions with Constraints},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {381--395},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_101},
doi = {10.1007/3-540-52885-7\_101},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Peterson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PfenningN90,
author = {Frank Pfenning and
Dan Nesmith},
editor = {Mark E. Stickel},
title = {Presenting Intuitive Deductions via Symmetric Simplification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {336--350},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_98},
doi = {10.1007/3-540-52885-7\_98},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/PfenningN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Pierce90,
author = {William Pierce},
editor = {Mark E. Stickel},
title = {Toward Mechanical Methods for Streamlining Proofs},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {351--365},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_99},
doi = {10.1007/3-540-52885-7\_99},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Pierce90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Pollock90,
author = {John L. Pollock},
editor = {Mark E. Stickel},
title = {{OSCAR}},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {669--670},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_134},
doi = {10.1007/3-540-52885-7\_134},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Pollock90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PritchardS90,
author = {Paul Pritchard and
John K. Slaney},
editor = {Mark E. Stickel},
title = {Tutorial on Computing Models of Propositional Logics},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {685},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_148},
doi = {10.1007/3-540-52885-7\_148},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/PritchardS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PymW90,
author = {David J. Pym and
Lincoln A. Wallen},
editor = {Mark E. Stickel},
title = {Investigations into Proof-Search in a System of First-Order Dependent
Function Types},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {236--250},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_91},
doi = {10.1007/3-540-52885-7\_91},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/PymW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Reddy90,
author = {Uday S. Reddy},
editor = {Mark E. Stickel},
title = {Term Rewriting Induction},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {162--177},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_86},
doi = {10.1007/3-540-52885-7\_86},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Reddy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Rittri90,
author = {Mikael Rittri},
editor = {Mark E. Stickel},
title = {Retrieving Library Identifiers via Equational Matching of Types},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {603--617},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_117},
doi = {10.1007/3-540-52885-7\_117},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Rittri90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Satz90,
author = {Ronald W. Satz},
editor = {Mark E. Stickel},
title = {{EXPERT} {THINKER:} An Adaptation of F-Prolog to Microcomputers},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {671--672},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_135},
doi = {10.1007/3-540-52885-7\_135},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Satz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchumannL90,
author = {Johann Schumann and
Reinhold Letz},
editor = {Mark E. Stickel},
title = {{PARTHEO:} {A} High-Performance Parallel Theorem Prover},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {40--56},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_78},
doi = {10.1007/3-540-52885-7\_78},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchumannL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchumannLK90,
author = {Johann Schumann and
Reinhold Letz and
Franz J. Kurfess},
editor = {Mark E. Stickel},
title = {Tutorial on High-Performance Theorem Provers: Efficient Implementation
and Parallelisation},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {683},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_145},
doi = {10.1007/3-540-52885-7\_145},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchumannLK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Schwind90,
author = {Camilla Schwind},
editor = {Mark E. Stickel},
title = {A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {528--542},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_112},
doi = {10.1007/3-540-52885-7\_112},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Schwind90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SlaneyL90,
author = {John K. Slaney and
Ewing L. Lusk},
editor = {Mark E. Stickel},
title = {Parallelizing the Closure Computation in Automated Deduction},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {28--39},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_77},
doi = {10.1007/3-540-52885-7\_77},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SlaneyL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Snyder90,
author = {Wayne Snyder},
editor = {Mark E. Stickel},
title = {Higher Order E-Unification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {573--587},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_115},
doi = {10.1007/3-540-52885-7\_115},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Snyder90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Steinbach90,
author = {Joachim Steinbach},
editor = {Mark E. Stickel},
title = {Improving Assoviative Path Orderings},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {411--425},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_103},
doi = {10.1007/3-540-52885-7\_103},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Steinbach90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Stickel90,
author = {Mark E. Stickel},
editor = {Mark E. Stickel},
title = {A Prolog Technology Theorem Prover},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {673--674},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_136},
doi = {10.1007/3-540-52885-7\_136},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Stickel90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Sutcliffe90,
author = {Geoff Sutcliffe},
editor = {Mark E. Stickel},
title = {A General Clause Theorem Prover},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {675--676},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_137},
doi = {10.1007/3-540-52885-7\_137},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Sutcliffe90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SuttnerE90,
author = {Christian B. Suttner and
Wolfgang Ertel},
editor = {Mark E. Stickel},
title = {Automatic Acquisition of Search Guiding Heuristics},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {470--484},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_108},
doi = {10.1007/3-540-52885-7\_108},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SuttnerE90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tarver90,
author = {Mark Tarver},
editor = {Mark E. Stickel},
title = {An Examination of the Prolog Technology Theorem-Prover},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {322--335},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_97},
doi = {10.1007/3-540-52885-7\_97},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Tarver90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tour90,
author = {Thierry Boy de la Tour},
editor = {Mark E. Stickel},
title = {Minimizing the Number of Clauses by Renaming},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {558--572},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_114},
doi = {10.1007/3-540-52885-7\_114},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Tour90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tuominen90,
author = {Heikki Tuominen},
editor = {Mark E. Stickel},
title = {Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional
Logic},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {514--527},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_111},
doi = {10.1007/3-540-52885-7\_111},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Tuominen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Voronkov90,
author = {Andrei Voronkov},
editor = {Mark E. Stickel},
title = {{LISS} - The Logic Inference Search System},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {677--678},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_138},
doi = {10.1007/3-540-52885-7\_138},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Voronkov90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WakayamaP90,
author = {Toshiro Wakayama and
T. H. Payne},
editor = {Mark E. Stickel},
title = {Case-Free Programs: An Abstraction of Definite Horn Programs},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {87--101},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_81},
doi = {10.1007/3-540-52885-7\_81},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WakayamaP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Waldinger90,
author = {Richard J. Waldinger},
editor = {Mark E. Stickel},
title = {Tutorial on Program-Synthetic Deduction},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {684},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_147},
doi = {10.1007/3-540-52885-7\_147},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Waldinger90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Wolfram90,
author = {David A. Wolfram},
editor = {Mark E. Stickel},
title = {{ACE:} The Abstract Clause Engine},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {679--680},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_139},
doi = {10.1007/3-540-52885-7\_139},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Wolfram90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WosWMOLSB90,
author = {Larry Wos and
Steve Winker and
William McCune and
Ross A. Overbeek and
Ewing L. Lusk and
Rick L. Stevens and
Ralph Butler},
editor = {Mark E. Stickel},
title = {Automated Reasoning Contributed to Mathematics and Logic},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {485--499},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_109},
doi = {10.1007/3-540-52885-7\_109},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WosWMOLSB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1990,
editor = {Mark E. Stickel},
title = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7},
doi = {10.1007/3-540-52885-7},
isbn = {3-540-52885-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/1990.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-22 17:37 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:
