| |
| 2007 | ||
|---|---|---|
| 3 | EE | Roland Axelsson, Martin Lange: Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. LPAR 2007: 62-76 |
| 2 | EE | Roland Axelsson, Martin Lange, Rafal Somla: The Complexity of Model Checking Higher-Order Fixpoint Logic CoRR abs/0704.3931: (2007) |
| 1 | EE | Roland Axelsson, Martin Lange, Rafal Somla: The Complexity of Model Checking Higher-Order Fixpoint Logic. Logical Methods in Computer Science 3(2): (2007) |
| 1 | Martin Lange | [1] [2] [3] |
| 2 | Rafal Somla | [1] [2] |