Rafal Somla

Identifiers

• name variant Rafal Somla 0.60 · backfill

Papers (1)

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