Bericht einer Institution, Forschungsbericht, Working Paper
For rewriting systems the topological finiteness conditions FDT, FHT are not equivalent
Publication Details
Authors: | Pride, S.; Otto, F. |
Publisher: | Fachbereich Mathematik/Informatik, Universität Kassel |
Place: | Kassel |
Publication year: | 2002 |
Title of series: | Mathematische Schriften Kassel 13/02 |
