Ayana Hirata

According to our database, Ayana Hirata authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Equivalents of the finitary non-deterministic inductive definitions.

Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto

Ann. Pure Appl. Log., 2019