JournalsprimsVol. 18, No. 2pp. 427–438

Semantical Analysis of Constructive PDL

Hirokazu Nishimura
Kyoto University, Japan
- MathSciNet
- zbMATH Open

Semantical Analysis of Constructive PDL cover

Cite this article

Hirokazu Nishimura, Semantical Analysis of Constructive PDL. Publ. Res. Inst. Math. Sci. 18 (1982), no. 2, pp. 427–438

DOI 10.2977/PRIMS/1195183579