6. LPAR 1999:
Tbilisi,
Republic of Georgia
Harald Ganzinger, David A. McAllester, Andrei Voronkov (Eds.):
Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings.
Lecture Notes in Computer Science 1705 Springer 1999, ISBN 3-540-66492-0 BibTeX
@proceedings{DBLP:conf/lpar/1999,
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Logic Programming and Automated Reasoning, 6th International
Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999,
Proceedings},
booktitle = {LPAR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1705},
year = {1999},
isbn = {3-540-66492-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1
Session 2
Session 3
Session 4
- Enno Ohlebusch:
Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems.
111-130 BibTeX
- Uwe Waldmann:
Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups.
131-147 BibTeX
- Pierre Réty:
Regular Sets of Descendants for Constructor-Based Rewrite Systems.
148-160 BibTeX
Session 5
Session 6
Session 7
Session 8
Session 9
Session 10
Copyright © Sat May 16 23:28:59 2009
by Michael Ley (ley@uni-trier.de)
