An Extension of Rabin s Complete Proof Concept

Jerzy W. Jaromczyk. An Extension of Rabin s Complete Proof Concept. In Jozef Gruska, Michal Chytil, editors, Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings. Volume 118 of Lecture Notes in Computer Science, pages 321-326, Springer, 1981.

Abstract

Abstract is missing.