@ARTICLE{KrishnaRaoActaInformatica,
AUTHOR = {Krishna Rao, M. R. K.},
TITLE = {Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems},
JOURNAL = {Acta Informatica},
PUBLISHER = {Springer},
YEAR = {1996},
NUMBER = {6},
VOLUME = {33},
PAGES = {595--606},
ADDRESS = {Berlin, Germany},
MONTH = {September},
ISBN = {0001-5903},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christine Kiesel | Created
01/07/1997 02:55:27 PM |
Revisions
6.
5.
4.
3.
2. | Editor(s)
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm | Edit Dates
28.08.2001 16:55:23
16/03/97 00:36:03
20.01.97 01:23:37
09.01.97 15:20:18
07/01/97 15:08:01 |