✦ LIBER ✦
Computer proofs about finite and regular sets: the unifying concept of subvariance
✍ Scribed by Johan Gijsbertus Frederik Belinfante
- Publisher
- Elsevier Science
- Year
- 2003
- Tongue
- English
- Weight
- 156 KB
- Volume
- 36
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.