Non-Deterministic Inductive Definitions and Fullness

Non-Deterministic Inductive Definitions and Fullness

TitleNon-Deterministic Inductive Definitions and Fullness
Publication TypeBook Chapter
Year of Publication2016
AuthorsNemoto T, Ishihara H
EditorSchuster P, Probst D
Book TitleConcepts of Proof in Mathematics, Philosophy, and Computer Science
Pagination163–170
PublisherDe Gruyter
URLhttps://doi.org/10.1515/9781501502620-010
DOI10.1515/9781501502620-010
Undefined