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