Proceedings Article, Paper @InProceedings Beitrag in Tagungsband, Workshop
BibTeX Entry: @INPROCEEDINGS{Waldmann1999LPAR, AUTHOR = {Waldmann, Uwe}, EDITOR = {Ganzinger, Harald and McAllester, David and Voronkov, Andrei}, TITLE = {Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups}, BOOKTITLE = {Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)}, PUBLISHER = {Springer}, YEAR = {1999}, VOLUME = {1705}, PAGES = {131--147}, SERIES = {Lecture Notes in Artificial Intelligence}, ADDRESS = {Tbilisi, Georgia}, ISBN = {3-540-66492-0}, } Entry last modified by Manfred Jaeger, 11/07/2006 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 11/07/2006 11:46:09 AM Revisions 2. 1. 0. Editor(s) Manfred Jaeger Uwe Brahm Uwe Waldmann Edit Dates 31/08/2001 18:32:29 28.03.2000 10:41:30 09/14/99 06:32:48 PM