Completeness Proofs for Some Logics of Programs

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	49-62
Number of pages	14
Journal	Mathematical Logic Quarterly
Volume	28
Issue number	4-7
DOIs	https://doi.org/10.1002/malq.19820280402
State	Published - 1982
Externally published	Yes

ASJC Scopus subject areas

@article{571808a43e844211939c5b8bc48f826f,

title = "Completeness Proofs for Some Logics of Programs",

author = "Chlebus, {Bogdan S.}",

year = "1982",

doi = "10.1002/malq.19820280402",

language = "English (US)",

volume = "28",

pages = "49--62",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "4-7",

}

TY - JOUR

T1 - Completeness Proofs for Some Logics of Programs

AU - Chlebus, Bogdan S.

PY - 1982

Y1 - 1982

UR - http://www.scopus.com/inward/record.url?scp=84913382726&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84913382726&partnerID=8YFLogxK

U2 - 10.1002/malq.19820280402

DO - 10.1002/malq.19820280402

M3 - Article

AN - SCOPUS:84913382726

SN - 0942-5616

VL - 28

SP - 49

EP - 62

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 4-7

ER -