Ishihara, Hajime and Nemoto, Takako. "Non-Deterministic Inductive Definitions and Fullness".
Concepts of Proof in Mathematics, Philosophy, and Computer Science, edited by Dieter Probst and Peter Schuster, Berlin, Boston: De Gruyter, 2016, pp. 163-170.
https://doi.org/10.1515/9781501502620-010
Ishihara, H. & Nemoto, T. (2016). Non-Deterministic Inductive Definitions and Fullness. In D. Probst & P. Schuster (Ed.),
Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 163-170). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9781501502620-010
Ishihara, H. and Nemoto, T. 2016. Non-Deterministic Inductive Definitions and Fullness. In: Probst, D. and Schuster, P. ed.
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter, pp. 163-170.
https://doi.org/10.1515/9781501502620-010
Ishihara, Hajime and Nemoto, Takako. "Non-Deterministic Inductive Definitions and Fullness" In
Concepts of Proof in Mathematics, Philosophy, and Computer Science edited by Dieter Probst and Peter Schuster, 163-170. Berlin, Boston: De Gruyter, 2016.
https://doi.org/10.1515/9781501502620-010
Ishihara H, Nemoto T. Non-Deterministic Inductive Definitions and Fullness. In: Probst D, Schuster P (ed.)
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter; 2016. p.163-170.
https://doi.org/10.1515/9781501502620-010
Copied to clipboard