Mayuko Kori

Identifiers

• name variant Mayuko Kori 0.60 · backfill

Papers (2)

1. Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC cs.LO · 2026 · author #1
2. From Coalgebraic Determinization to Belief Construction for Partial Observability cs.LO · 2026 · author #1

Mentions

• 2604.25355 #1 · arxiv_oai · confidence 0.70 Mayuko Kori
• 2605.15664 #1 · arxiv_oai · confidence 0.70 Mayuko Kori

Frequent Coauthors

• Kazuki Watanabe 1 shared papers