Koji Nakazawa

Identifiers

• name variant Koji Nakazawa 0.60 · backfill

Papers (2)

1. Completeness of Cyclic Proofs for Symbolic Heaps cs.LO · 2018 · author #2
2. Confluence for classical logic through the distinction between values and computations cs.LO · 2014 · author #3

Mentions

• 1409.3316 #3 · backfill · confidence 0.70 Koji Nakazawa

Frequent Coauthors

• Daisuke Kimura 1 shared papers
• Jos\'e Esp\'irito Santo 1 shared papers
• Lu\'is Pinto 1 shared papers
• Makoto Tatsuta 1 shared papers
• Ralph Matthes 1 shared papers