Arithmetical Completeness in Logics of Programs

David Harel. Arithmetical Completeness in Logics of Programs. In Giorgio Ausiello, Corrado Böhm, editors, Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings. Volume 62 of Lecture Notes in Computer Science, pages 268-288, Springer, 1978.

Abstract

Abstract is missing.