| |
| 2007 | ||
|---|---|---|
| 5 | EE | Roger Antonsen, Arild Waaler: A Labelled System for IPL with Variable Splitting. CADE 2007: 132-146 |
| 4 | EE | Roger Antonsen, Arild Waaler: Liberalized Variable Splitting. J. Autom. Reasoning 38(1-3): 3-30 (2007) |
| 2005 | ||
| 3 | EE | Roger Antonsen, Arild Waaler: Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. TABLEAUX 2005: 33-47 |
| 2004 | ||
| 2 | EE | Roger Antonsen: Uniform variable splitting. IJCAR Doctoral Programme 2004 |
| 2003 | ||
| 1 | EE | Arild Waaler, Roger Antonsen: A Free Variable Sequent Calculus with Uniform Variable Splitting. TABLEAUX 2003: 214-229 |
| 1 | Arild Waaler | [1] [3] [4] [5] |