@ARTICLE{Stuber1998TCS,
AUTHOR = {Stuber, J{\"u}rgen},
TITLE = {Superposition theorem proving for abelian groups represented as integer modules},
JOURNAL = {Theoretical Computer Science},
PUBLISHER = {Elsevier},
YEAR = {1998},
NUMBER = {1/2},
VOLUME = {208},
PAGES = {149--177},
ADDRESS = {Amsterdam, the Netherlands},
MONTH = {November},
ISBN = {0304-3975},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Jürgen Stuber | Created
10/02/1998 06:07:23 PM |
Revisions
4.
3.
2.
1.
0. | Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm
Christine Kiesel
Christine Kiesel | Edit Dates
05.09.2001 16:32:31
14.03.2001 13:46:54
30.03.99 20:55:58
25.03.99 16:58:08
02/10/98 18:07:39 |