Stefan Berghofer

Identifiers

• name variant Stefan Berghofer 0.60 · backfill

Papers (1)

1. Mechanizing the Metatheory of LF cs.LO · 2008 · author #3

Mentions

• 0804.1667 #3 · backfill · confidence 0.70 Stefan Berghofer

Frequent Coauthors

• Christian Urban 1 shared papers
• James Cheney 1 shared papers