Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth)
From MaRDI portal
Publication:1092015
zbMATH Open0624.00016MaRDI QIDQ1092015FDOQ1092015
Authors:
Publication date: 1987
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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
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)
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)
