@ARTICLE{AvenhausHillenbrandLoechner2003,
AUTHOR = {Avenhaus, J{\"u}rgen and Hillenbrand, Thomas and L{\"o}chner, Bernd},
TITLE = {On Using Ground Joinable Equations in Equational Theorem Proving},
JOURNAL = {Journal of Symbolic Computation},
PUBLISHER = {Elsevier},
YEAR = {2003},
NUMBER = {1-2},
VOLUME = {36},
PAGES = {217--233},
ADDRESS = {Amsterdam, The Netherlands},
ISBN = {0747-7171},
}
Entry last modified by Viorica Sofronie-Stokkermans, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Thomas Hillenbrand | Created
04/07/2003 10:06:15 AM |
Revisions
12.
11.
10.
9.
8. | Editor(s)
Viorica Sofronie-Stokkermans
Christine Kiesel
Christine Kiesel
Thomas Hillenbrand
Thomas Hillenbrand | Edit Dates
06/23/2004 01:47:23 PM
17.06.2004 14:30:45
07.07.2003 16:34:29
07/02/2003 05:08:10 PM
13/06/2003 18:03:56 |