Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth)

MaRDI QIDQ1092015zbMATH OpenFDO

Authors

Publication date 1987

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

LogicComputation theory

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)

Recommendations

• scientific article; zbMATH DE number 599028
• Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg
• Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday
• scientific article; zbMATH DE number 6934359
• Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday
• scientific article; zbMATH DE number 1696784
• Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II
• From Logic to Theoretical Computer Science – An Update
• scientific article; zbMATH DE number 5200708
• scientific article; zbMATH DE number 1049165

This page was built for publication: Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1092015)