Algorithmic logic and its applications in the theory of programs II1

• 1 August 1977
• journal article
• Published by SAGE Publications in Fundamenta Informaticae
• Vol. 1  (1) , 147-165
• https://doi.org/10.3233/fi-1977-1111

Abstract