Publication

Found 1 results
Filters: Author is Dieter Probst  [Clear All Filters]
2016
Nemoto T, Ishihara H.  2016.  Non-Deterministic Inductive Definitions and Fullness. Concepts of Proof in Mathematics, Philosophy, and Computer Science. :163–170.