without external funding
Invariante Eigenschaften von Wortersetzungssystemen
Project Details
Project duration: 09/2001–12/2004
Abstract
We focus on the following question:
(*) `Can one characterize the monoids that admit a finite convergent
rewriting system by means of a number of invariant properties?'
The properties FHT of finite homological type and FDT of finite
derivation type are examples of invariant properties that these
monoids satisfy. There are various possibilites for obtaining
analogues of these properties in higher dimensions. This is one line
of research we will pursue. It seems probable that a solution to (*)
(if there is one) will require some geometric and/or topological
input. We therefore regard it as important to investigate the higher
dimensional geometric aspects of rewriting systems.
Publications
2007 | |
2005 | |
2004 | |
2003 | |
2003 | |
2002 |
