A finitary version of the calculus of partial inductive definitions
- Författare
- Lars-Henrik Eriksson
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Swedish Institute of Computer Science (SICS) | 1992 | Sverige, Kista | 46 |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Swedish Institute of Computer Science (SICS) | 1992 | Sverige, Kista | 46 |