| |
| 2009 | ||
|---|---|---|
| 4 | EE | David Baelde: On the Expressivity of Minimal Generic Quantification. Electr. Notes Theor. Comput. Sci. 228: 3-19 (2009) |
| 2007 | ||
| 3 | EE | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397 |
| 2 | EE | David Baelde, Dale Miller: Least and Greatest Fixed Points in Linear Logic. LPAR 2007: 92-106 |
| 1 | EE | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr system for model checking over syntactic expressions CoRR abs/cs/0702116: (2007) |
| 1 | Andrew Gacek | [1] [3] |
| 2 | Dale Miller | [1] [2] [3] |
| 3 | Gopalan Nadathur | [1] [3] |
| 4 | Alwen Tiu (Alwen Fernanto Tiu) | [1] [3] |