Ramyaa Ramyaa (Indiana University

Identifiers

• name variant Ramyaa Ramyaa (Indiana University 0.60 · backfill

Papers (1)

1. Implicit complexity for coinductive data: a characterization of corecurrence cs.CC · 2012 · author #3

Mentions

• 1201.1119 #3 · backfill · confidence 0.70 Ramyaa Ramyaa (Indiana University

Frequent Coauthors

• Daniel Leivant (Indiana University 1 shared papers
• LORIA Nancy) 1 shared papers
• Ludwig-Maximilians-Universit\"at M\"unchen) 1 shared papers