@ARTICLE{Weidenbach96f,
AUTHOR = {Weidenbach, Christoph},
TITLE = {Unification in Sort Theories and its Applications},
JOURNAL = {Annals of Mathematics and Artificial Intelligence},
PUBLISHER = {Baltzer},
YEAR = {1996},
NUMBER = {2/4},
VOLUME = {18},
PAGES = {261--293},
ISBN = {1012-2443},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christoph Weidenbach | Created
03/12/1997 10:47:23 AM |
Revisions
3.
2.
1.
0.
| Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm
Christoph Weidenbach
| Edit Dates
05.09.2001 16:34:42
30.08.2001 10:12:00
16/03/97 00:40:11
12/03/97 10:47:24
|