Reduktionssysteme, formale Sprachen und Automatentheorie

Patrick Horster. Reduktionssysteme, formale Sprachen und Automatentheorie. PhD thesis, RWTH Aachen University, Germany, 1983. [doi]

Abstract

Abstract is missing.