On the Expressive Power of Dynamic Logic, II

Name

MIT-LCS-TM-204.pdf

Size

2.63 MB

Format

Adobe PDF

Checksum (MD5)

1645b0e662d2eabc5cee4ee800b34983

Author(s)

Halpern, Joseph Y.

Date Issued

August 1981

Series/Report no.

MIT-LCS-TM-204

Persistent DSpace Link

https://hdl.handle.net/1721.1/149015