Term Rewriting for Web Information Systems - Termination and Church-Rosser Property.

Klaus-Dieter Schewe, Bernhard Thalheim

Browse the full WISE paper archive.