Completeness Proofs for Some Logics of Programs

Research output: Contribution to journalArticle

3 Scopus citations
Original languageEnglish (US)
Pages (from-to)49-62
Number of pages14
JournalMathematical Logic Quarterly
Volume28
Issue number4-7
DOIs
StatePublished - 1982
Externally publishedYes

ASJC Scopus subject areas

  • Logic

Cite this