On Transfinite Knuth-Bendix Orders (bibtex)
by Laura Kovács, Georg Moser, Andrei Voronkov
Reference:
On Transfinite Knuth-Bendix OrdersLaura Kovács, Georg Moser, Andrei VoronkovProceedings of the International Conference on Automated Deduction (CADE), volume 6803 of LNAI, pages 384-399, 2011, Springer.
Bibtex Entry:
@inproceedings{Cade11Kovacs,
publisher = {Springer},
title = {On Transfinite Knuth-Bendix Orders},
url = {/pubpdf/On_Transfinite_Knuth-Bendix_Orders.pdf},
series = {LNAI},
booktitle = {Proceedings of the International Conference on Automated Deduction
(CADE)},
author = {Laura Kov\'acs and Georg Moser and Andrei Voronkov},
volume = {6803},
year = {2011},
pages = {384-399},
}
Powered by bibtexbrowser