scientific article; zbMATH DE number 3559485

MaRDI QIDQ4132454zbMATH OpenFDO

Authors

Publication date 1975

zbMATH Keywords

AlgorithmsProceedingsProof theorySymposiumTheory of programsWorkshop

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Theoretical computer science. 3rd GI conference, Darmstadt, March 28--30, 1977
• Foundations of computation theory. Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21--27, 1983
• scientific article; zbMATH DE number 3963157
• Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II
• scientific article; zbMATH DE number 3967876
• Programming symposium. Proceedings, colloque sur la programmation, Paris, April 9--11, 1974
• scientific article; zbMATH DE number 4118310
• scientific article; zbMATH DE number 1252401
• scientific article; zbMATH DE number 3912308
• Proceedings of the first annual ACM symposium on Theory of computing - STOC '69

This page was built for publication:

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