Lutz Schroeder

Identifiers

• name variant Lutz Schroeder 0.60 · backfill

Papers (1)

1. Named Models in Coalgebraic Hybrid Logic cs.LO · 2010 · author #1

Mentions

• 1001.0735 #1 · backfill · confidence 0.70 Lutz Schroeder

Frequent Coauthors

• Dirk Pattinson 1 shared papers