Travelled to:
1 × Italy
1 × United Kingdom
Collaborated with:
D.Leivant M.Hofmann U.Schöpp
Talks about:
isomorph (1) corecurr (1) program (1) pointer (1) content (1) ramifi (1) comput (1) tree (1) pure (1)
Person: Ramyaa Ramyaa
DBLP: Ramyaa:Ramyaa
Contributed to:
Wrote 2 papers:
- FoSSaCS-2015-LeivantR
- The Computational Contents of Ramified Corecurrence (DL, RR), pp. 422–435.
- FoSSaCS-2013-HofmannRS #morphism #pointer #source code
- Pure Pointer Programs and Tree Isomorphism (MH, RR, US), pp. 321–336.