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] |