Die Entwicklung des Wissenschafts- und Technikfeldes Informatik wird als kultureller und sozialer Prozess beschrieben und problematisiert. Fur diesen interdisziplinaren Ansatz wird eine geeignete Methodologie entwickelt und in Detailstudien exemplifiziert.

In the second part of the book he extends the theory to general (non-unary, many-sorted) algebras, term rewriting systems, tree automata, and pushdown automata.

Dieses Buch dokumentiert einen Diskussionsprozess, der an vielen Orten stattfindet und vom Arbeitskreis Theorie der Informatik in der Gesellschaft fur Informatik zusammengefuhrt wird. Das Themenfeld, das festgehalten wird, umfasst wissenschaftstheoretische…