Proceedings Article, Paper @InProceedings Beitrag in Tagungsband, Workshop
BibTeX Entry: @INPROCEEDINGS{LudwigWaldmann2007, AUTHOR = {Ludwig, Michel and Waldmann, Uwe}, EDITOR = {Dershowitz, Nachum and Voronkov, Andrei}, TITLE = {An Extension of the {Knuth-Bendix} Ordering with {LPO}-Like Properties}, BOOKTITLE = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007}, PUBLISHER = {Springer}, YEAR = {2007}, VOLUME = {4790}, PAGES = {348--362}, SERIES = {Lecture Notes in Artificial Intelligence}, ADDRESS = {Yerevan, Armenia}, ISBN = {3-540-75558-6}, } Entry last modified by Uwe Waldmann, 03/26/2009 Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details) Editor(s) Uwe WaldmannCreated 10/25/2007 06:07:13 PM Revision 1. 0. Editor Uwe Waldmann Uwe Waldmann Edit Date 26.03.2009 22:07:35 25.10.2007 18:07:13 Attachment SectionAttachment Section