Report
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



Authors/Editors

Last updated on 2019-25-07 at 13:57