✦ LIBER ✦
Regular dynamic logic is not interpretable in deterministic context-free dynamic logic
✍ Scribed by A.P. Stolboushkin
- Book ID
- 114037663
- Publisher
- Elsevier Science
- Year
- 1983
- Weight
- 656 KB
- Volume
- 59
- Category
- Article
- ISSN
- 0019-9958
No coin nor oath required. For personal study only.