Keiko Nakata (Institute of Cybernetics

Identifiers

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

Papers (1)

1. Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction cs.LO · 2010 · author #1

Mentions

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

Frequent Coauthors

• Estonia) 1 shared papers
• Tallinn University of Technology 1 shared papers
• Tarmo Uustalu (Institute of Cybernetics 1 shared papers