• Contact
  • Submissions
  • About
  • Updates
  • Journals
  • Books
  • Subscribe To Open
    • Authors
    • Libraries
    • Booksellers
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

Publication Date

31 August 1982

Identifiers

DOI
10.2977/PRIMS/1195183579
  • Contact
  • Legal Notice
  • Privacy Policy
  • Accessibility Statement

© 2022 EMS Press
EMS Press is an imprint of the European Mathematical Society - EMS - Publishing House GmbH,
a subsidiary of the European Mathematical Society.