✦ LIBER ✦
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
✍ Scribed by Franz Baader; Silvio Ghilardi; Cesare Tinelli
- Book ID
- 113641593
- Publisher
- Elsevier Science
- Year
- 2006
- Tongue
- English
- Weight
- 505 KB
- Volume
- 204
- Category
- Article
- ISSN
- 0890-5401
No coin nor oath required. For personal study only.