scientific article; zbMATH DE number 3264018
From MaRDI portal
Publication:5549763
zbMath0165.00203MaRDI QIDQ5549763
No author found.
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (4)
A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems ⋮ From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract) ⋮ On algebra of program correctness and incorrectness ⋮ Explanation of two non-blocking shared-variable communication algorithms
This page was built for publication:
