Jan Rochel (Department of Computing Sciences
Identifiers
- name variant Jan Rochel (Department of Computing Sciences 0.60 · backfill
Papers (1)
- Term Graph Representations for Cyclic Lambda-Terms cs.LO · 2013 · author #4
Mentions
- 1302.6338 #4 · backfill · confidence 0.70 Jan Rochel (Department of Computing Sciences
Frequent Coauthors
- Clemens Grabmayer (Department of Philosophy 1 shared papers
- the Netherlands) 1 shared papers
- Utrecht University 1 shared papers