Old Web
English
Sign In
Acemap
>
Paper
>
Equivalents of the finitary non-deterministic inductive definitions. (arXiv:1903.05852v2 [math.LO] UPDATED)
Equivalents of the finitary non-deterministic inductive definitions. (arXiv:1903.05852v2 [math.LO] UPDATED)
2019
Ayana Hirata
Hajime Ishihara
Tatsuji Kawai
Takako Nemoto
Keywords:
Mathematics
Algebra
Finitary
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]