✦ LIBER ✦
Deterministic propositional dynamic logic: Finite models, complexity, and completeness
✍ Scribed by Mordechai Ben-Ari; Joseph Y. Halpern; Amir Pnueli
- Publisher
- Elsevier Science
- Year
- 1982
- Tongue
- English
- Weight
- 911 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0022-0000
No coin nor oath required. For personal study only.