| |
| 2005 | ||
|---|---|---|
| 7 | Wilfried Meyer-Viol, Ruth Kempson: Sequence-Dominance Grammars. We Will Show Them! (2) 2005: 341-370 | |
| 1998 | ||
| 6 | EE | Wilfried Meyer-Viol: Sequential Construction of Logical Forms. LACL 1998: 159-178 |
| 1996 | ||
| 5 | EE | Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay: Language Understanding: A Procedural Perspective. LACL 1996: 228-247 |
| 1995 | ||
| 4 | Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke: A Proof System for Finite Trees. CSL 1995: 86-105 | |
| 3 | EE | Wilfried Meyer-Viol: A Proof-theoretic Treatment of Assignments. Logic Journal of the IGPL 3(2-3): 223-242 (1995) |
| 1994 | ||
| 2 | EE | Patrick Blackburn, Wilfried Meyer-Viol: Linguistics, Logic and Finite Trees. Logic Journal of the IGPL 2(1): 3-29 (1994) |
| 1993 | ||
| 1 | EE | Patrick Blackburn, Claire Gardent, Wilfried Meyer-Viol: Talking About Trees. EACL 1993: 21-29 |
| 1 | Patrick Blackburn | [1] [2] [4] |
| 2 | Dov M. Gabbay | [5] |
| 3 | Claire Gardent | [1] |
| 4 | Ruth Kempson | [5] [7] |
| 5 | Maarten de Rijke | [4] |