Hoare's logic and Peano's arithmetic

DSpace/Manakin Repository

Bergstra, J.A.; Tucker, J.V.

(1983) Theoretical Computer Science: the journal of the EATCS, volume 22, issue 1-2, pp. 265 - 284

(Article)

Download/Full Text

ISSN: 0304-3975

Publisher: North-Holland Publishing Company

See more statistics about this item