Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

References of Wilfried Meyer-Viol   Order by:   Type | Year

<< InProceedings >>

1 Patrick Blackburn, Wilfried Meyer-Viol and Maarten de Rijke. A Proof System for Finite Trees. In H. Kleine Büning editor, Computer Science Logic. 9th International Workshop (CSL '95), (1092):86-105, Springer, Berlin, 1995.     google 2 Sebastian Millies. Design Requirements for Principle-Based Parsers as Flexible Research Tools. In J. van Eijck and Wilfried Meyer-Viol editors, Computational Linguistics in the Netherlands (CLIN '91), Papers from the Second CLIN-meeting, November 29, CWI Amsterdam, The Netherlands, 1992.     google

<< TechReport >>

3 Patrick Blackburn, Wilfried Meyer-Viol and Maarten de Rijke. A Proof System for Finite Trees. Technical report, CLAUS-Report 67, Universität des Saarlandes, Saarbrücken, October 1995. [Abstract]     google [Annote]

Last modified: Thu October 16 2014 19:11:34