Non-Deterministic Inductive Definitions and Fullness
Non-Deterministic Inductive Definitions and Fullness
| Title | Non-Deterministic Inductive Definitions and Fullness |
| Publication Type | Book Chapter |
| Year of Publication | 2016 |
| Authors | Nemoto T, Ishihara H |
| Editor | Schuster P, Probst D |
| Book Title | Concepts of Proof in Mathematics, Philosophy, and Computer Science |
| Pagination | 163–170 |
| Publisher | De Gruyter |
| URL | https://doi.org/10.1515/9781501502620-010 |
| DOI | 10.1515/9781501502620-010 |
Undefined