Jan Rochel (Department of Computing Sciences

Identifiers

• name variant Jan Rochel (Department of Computing Sciences 0.60 · backfill

Papers (1)

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