1978/02/01 by Michael Smyth, M.B. Smyth · 3 citations
Computer Science · Mathematics · #Computer science #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Physics #Power (physics) #Thermodynamics
paper · pdf · doi:10.1016/0022-0000(78)90048-x
crossref issued 1978/02/01 · crossref published 1978/02/01 · crossref published-print 1978/02/01 · openalex publication_date 1978/02/01 · crossref created 2003/12/04 · crossref deposited 2019/02/16 · openalex created_date 2022/02/24 · crossref indexed 2026/07/18 · openalex updated_date 2026/08/02