Keiko Nakata (Institute of Cybernetics)

Identifiers

• name variant Keiko Nakata (Institute of Cybernetics) 0.60 · backfill

Papers (1)

1. A Hoare logic for the coinductive trace-based big-step semantics of While cs.LO · 2014 · author #1

Mentions

• 1412.6579 #1 · backfill · confidence 0.70 Keiko Nakata (Institute of Cybernetics)

Frequent Coauthors

• Tarmo Uustalu (Institute of Cybernetics) 1 shared papers