Yde Venema (ILLC)

Identifiers

• name variant Yde Venema (ILLC) 0.60 · backfill

Papers (1)

1. Completeness for Flat Modal Fixpoint Logics cs.LO · 2008 · author #2

Mentions

• 0812.2390 #2 · backfill · confidence 0.70 Yde Venema (ILLC)

Frequent Coauthors

• Luigi Santocanale (LIF) 1 shared papers