Entscheidbarkeit und Bestimmung der Rekursivität von Prozeduren in Pascal-ähnlichen Programmen
By: von Dieter Armbruster
Contributors: Universität Stuttgart
Published: 1985
Language: ger
Notes: Thesis (doctoral)--Universität Stuttgart, 1985.