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

Semantical Analysis of Constructive PDL

  • Hirokazu Nishimura

    Kyoto University, Japan
Semantical Analysis of Constructive PDL cover
Download PDF

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