Computation Theory and Logic, In Memory of Dieter Rödding

Egon Börger Computation Theory and Logic, In Memory of Dieter Rödding Computation Theory and Logic Lecture Notes in Computer Science 270 Springer 1987 3-540-18170-9 db/conf/birthday/rodding87.html