@ARTICLE{Ganzinger-91-tcs,
AUTHOR = {Ganzinger, Harald},
TITLE = {Order-Sorted Completion: The Many-Sorted Way},
JOURNAL = {Theoretical Computer Science},
PUBLISHER = {North-Holland Publishing Co.},
YEAR = {1991},
NUMBER = {-},
VOLUME = {89},
PAGES = {3--32},
ISBN = {0304-3975},
}
Entry last modified by Uwe Brahm, 08/25/2014
Edit History (please click the blue arrow to see the details)
| Editor(s)
[Library] | Created
01/22/1995 02:33:19 PM |
Revisions
7.
6.
5.
4.
3. | Editor(s)
Uwe Brahm
Uwe Brahm
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE | Edit Dates
16/03/97 00:50:57
16/03/97 00:50:18
25/01/96 12:52:40
25/01/96 12:51:57
16/02/95 18:24:24 |