Rafal Somla
Identifiers
- name variant Rafal Somla 0.60 · backfill
Papers (1)
- The Complexity of Model Checking Higher-Order Fixpoint Logic cs.LO · 2007 · author #3
Mentions
- 0704.3931 #3 · backfill · confidence 0.70 Rafal Somla
Frequent Coauthors
- Martin Lange 1 shared papers
- Roland Axelsson 1 shared papers