A. Cichon, P. Lescanne. Polynomial Interpretations and the Complexity of Algorithms. In Proc. 11th Int'l Conf. on Automated Deduction (CADE), Saratoga Springs, New York, D. Kapur (ed.), Lecture Notes in Computer Science, Vol. 607, Pages 139-147, June 1992.
[ Sorting ]
@InProceedings{cile91,
Author = {Cichon, A. and Lescanne, P.},
Title = {Polynomial Interpretations and the Complexity of Algorithms},
BookTitle = {Proc. 11th Int'l Conf. on Automated Deduction (CADE), Saratoga Springs, New York},
editor = {Kapur, D.},
Pages = {139--147},
Publisher = {Springer},
Month = {June},
Year = {1992}
}
Get EndNote Reference (.ref)