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/cade98.bht:"
download as .bib file
@inproceedings{DBLP:conf/cade/ArtsDFG98,
author = {Thomas Arts and
Mads Dam and
Lars{-}{\AA}ke Fredlund and
Dilian Gurov},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: Verification of Distributed Erlang Programs},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {38--41},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054244},
doi = {10.1007/BFB0054244},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ArtsDFG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairG98,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Strict Basic Superposition},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {160--174},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054258},
doi = {10.1007/BFB0054258},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BachmairG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairGV98,
author = {Leo Bachmair and
Harald Ganzinger and
Andrei Voronkov},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Elimination of Equality via Transformation with Ordering Constraints},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {175--190},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054259},
doi = {10.1007/BFB0054259},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BachmairGV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertG98,
author = {Bernhard Beckert and
Rajeev Gor{\'{e}}},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: \emph{lean}K 2.0},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {51--55},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054247},
doi = {10.1007/BFB0054247},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Beeson98,
author = {Michael Beeson},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Unification in Lambda-Calculi with if-then-else},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {103--118},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054251},
doi = {10.1007/BFB0054251},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Beeson98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerK98,
author = {Christoph Benzm{\"{u}}ller and
Michael Kohlhase},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Extensional Higher-Order Resolution},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {56--71},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054248},
doi = {10.1007/BFB0054248},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerK98a,
author = {Christoph Benzm{\"{u}}ller and
Michael Kohlhase},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: {LEO} - {A} Higher-Order Theorem Prover},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {139--144},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054256},
doi = {10.1007/BFB0054256},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerK98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BishopA98,
author = {Matthew Bishop and
Peter B. Andrews},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Selectively Instantiating Definitions},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {365--380},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054272},
doi = {10.1007/BFB0054272},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BishopA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BoudetC98,
author = {Alexandre Boudet and
Evelyne Contejean},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {About the Confluence of Equational Pattern Rewrite Systems},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {88--102},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054250},
doi = {10.1007/BFB0054250},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BoudetC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrauburgerG98,
author = {J{\"{u}}rgen Brauburger and
J{\"{u}}rgen Giesl},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Termination Analysis by Inductive Evaluation},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {254--269},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054264},
doi = {10.1007/BFB0054264},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrauburgerG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Crary98,
author = {Karl Crary},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Admissibility of Fixpoint Induction over Partial Types},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {270--285},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054265},
doi = {10.1007/BFB0054265},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Crary98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FeveW98,
author = {St{\'{e}}phane F{\`{e}}vre and
Dongming Wang},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {17--31},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054242},
doi = {10.1007/BFB0054242},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/FeveW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FleuriotP98,
author = {Jacques D. Fleuriot and
Lawrence C. Paulson},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {A Combination of Nonstandard Analysis and Geometry Theorem Proving,
with Application to Newton's Principia},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {3--16},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054241},
doi = {10.1007/BFB0054241},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/FleuriotP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Fuchs98,
author = {Marc Fuchs},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: Similarity-Based Lemma Generation for Model Elimination},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {33--37},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054243},
doi = {10.1007/BFB0054243},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Fuchs98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FuchsW98,
author = {Marc Fuchs and
Andreas Wolf},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: Cooperation in Model Elimination: {CPTHEO}},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {42--46},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054245},
doi = {10.1007/BFB0054245},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FuchsW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GorePSV98,
author = {Rajeev Gor{\'{e}} and
Joachim Posegga and
Andrew Slater and
Harald Vogt},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: \emph{card} \emph{T}\({}^{\mbox{\emph{A}}}\)\emph{P}:
The First Theorem Prover on a Smart Card},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {47--50},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054246},
doi = {10.1007/BFB0054246},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GorePSV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HortonS98,
author = {Joseph Douglas Horton and
Bruce Spencer},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Rank/Activity: {A} Canonical Form for Binary Resolution},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {412--426},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054275},
doi = {10.1007/BFB0054275},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HortonS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kaufmann98,
author = {Matt Kaufmann},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {{ACL2} Support for Verification Projects (Invited Talk)},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {220--238},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054262},
doi = {10.1007/BFB0054262},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Kaufmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KreitzHH98,
author = {Christoph Kreitz and
Mark Hayden and
Jason Hickey},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {A Proof Environment for the Development of Group Communication Systems},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {317--332},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054269},
doi = {10.1007/BFB0054269},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KreitzHH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Letz98,
author = {Reinhold Letz},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Using Matings for Pruning Connection Tableaux},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {381--396},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054273},
doi = {10.1007/BFB0054273},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Letz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Malik98,
author = {Robi Malik},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Automated Deduction of Finite-State Control Programs for Reactive
Systems},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {302--316},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054268},
doi = {10.1007/BFB0054268},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Malik98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MazureSG98,
author = {Bertrand Mazure and
Lakhdar Sais and
{\'{E}}ric Gr{\'{e}}goire},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: {CRIL} Platform for {SAT}},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {124--128},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054253},
doi = {10.1007/BFB0054253},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MazureSG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Nivelle98,
author = {Hans de Nivelle},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {A Resolution Decision Procedure for the Guarded Fragment},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {191--204},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054260},
doi = {10.1007/BFB0054260},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Nivelle98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NonnengartRW98,
author = {Andreas Nonnengart and
Georg Rock and
Christoph Weidenbach},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {On Generating Small Clause Normal Forms},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {397--411},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054274},
doi = {10.1007/BFB0054274},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NonnengartRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Ohlbach98,
author = {Hans J{\"{u}}rgen Ohlbach},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Combining Hilbert Style and Semantic Reasoning in a Resolution Framework},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {205--219},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054261},
doi = {10.1007/BFB0054261},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Ohlbach98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OhtaIH98,
author = {Yoshihiko Ohta and
Katsumi Inoue and
Ryuzo Hasegawa},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {On the Relationship Between Non-Horn Magic Sets and Relevancy Testing},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {333--348},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054270},
doi = {10.1007/BFB0054270},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/OhtaIH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OliartS98,
author = {Alberto Oliart and
Wayne Snyder},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {A Fast Algorithm for Uniform Semi-Unification},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {239--253},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054263},
doi = {10.1007/BFB0054263},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/OliartS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Pagano98,
author = {Bruno Pagano},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {{X.R.S} : Explicit Reduction Systems - {A} First-Order Calculus for
Higher-Order Calculi},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {72--87},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054249},
doi = {10.1007/BFB0054249},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Pagano98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Peltier98,
author = {Nicolas Peltier},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: An Equational Constraints Solver},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {119--123},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054252},
doi = {10.1007/BFB0054252},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Peltier98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Pfenning98,
author = {Frank Pfenning},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Reasoning About Deductions in Linear Logic (Abstract of Invited Talk)},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {1--2},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054240},
doi = {10.1007/BFB0054240},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Pfenning98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Pnueli98,
author = {Amir Pnueli},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract
of Invited Talk)},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {301},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054267},
doi = {10.1007/BFB0054267},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Pnueli98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RichardsonSG98,
author = {Julian Richardson and
Alan Smaill and
Ian Green},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: Proof Planning in Higher-Order Logic with Lambda-Clam},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {129--133},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054254},
doi = {10.1007/BFB0054254},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/RichardsonSG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchurmannP98,
author = {Carsten Sch{\"{u}}rmann and
Frank Pfenning},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Automated Theorem Proving in a Simple Meta-Logic for {LF}},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {286--300},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054266},
doi = {10.1007/BFB0054266},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchurmannP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SlindGBB98,
author = {Konrad Slind and
Michael J. C. Gordon and
Richard J. Boulton and
Alan Bundy},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: An Interface Between CL\({}^{\mbox{A}}\)M and
{HOL}},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {134--138},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054255},
doi = {10.1007/BFB0054255},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SlindGBB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tammet98,
author = {Tanel Tammet},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Towards Efficient Subsumption},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {427--441},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054276},
doi = {10.1007/BFB0054276},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Tammet98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Thery98,
author = {Laurent Th{\'{e}}ry},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {A Certified Version of Buchberger's Algorithm},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {349--364},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054271},
doi = {10.1007/BFB0054271},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Thery98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Waldmann98,
author = {Uwe Waldmann},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Superposition for Divisible Torsion-Free Abelian Groups},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {144--159},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054257},
doi = {10.1007/BFB0054257},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Waldmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1998,
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054239},
doi = {10.1007/BFB0054239},
isbn = {3-540-64675-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/1998.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-04-19 13:16 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:
