JournalsprimsVol. 17, No. 1pp. 297–309

Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs

Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs cover
Download PDF

Cite this article

Hirokazu Nishimura, Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs. Publ. Res. Inst. Math. Sci. 17 (1981), no. 1, pp. 297–309

DOI 10.2977/PRIMS/1195186718