On the expressive power of dynamic logic /
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Massachusetts Institute of Technology, Laboratory for Computer Science,
1980
|
| Series: | MIT/LCS/TM ;
157 |
| Subjects: |