7. CADE 1984:
Napa,
California,
USA
Robert E. Shostak (Ed.):
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings.
Lecture Notes in Computer Science 170 Springer 1984, ISBN 3-540-96022-8 BibTeX
@proceedings{DBLP:conf/cade/1984,
editor = {Robert E. Shostak},
title = {7th International Conference on Automated Deduction, Napa, California,
USA, May 14-16, 1984, Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {170},
year = {1984},
isbn = {3-540-96022-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Monday Morning
Monday Afternoon
Tuesday Morning
- François Fages:
Associative-Commutative Unification.
194-208 BibTeX
- Donald Simon:
A Linear Time Algorithm for a Subcase of Second Order Instantiation.
209-223 BibTeX
- Claude Kirchner:
A New Equational Unification Method: A Generalization of Martelli-Montanari's Algorithm.
224-247 BibTeX
- Mark E. Stickel:
A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity.
248-258 BibTeX
- Laurent Fribourg:
A Narrowing Procedure for Theories with Constructors.
259-281 BibTeX
- Hélène Kirchner:
A General Inductive Completion Algorithm and Application to Abstract Data Types.
282-302 BibTeX
Tuesday Evening
Wednesday Morning
Wednesday Afternoon
Copyright © Sat May 16 23:00:04 2009
by Michael Ley (ley@uni-trier.de)
