Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 97.
  1. Dieter Hutter; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice, Sheffield, Pages 43-44, 1995.

  2. Stephan Busemann

    Towards Classification of Generation Subtasks

    In: Wolfgang Hoeppner; Helmut Horacek (Hrsg.). Principles of Natural Language Generation. Papers from a Dagstuhl-Seminar. Dagstuhl Seminare/Workshops, Duisburg, Germany, Pages 25-32, Dagstuhl-Seminar-Report, No. SI-12, 1995.

  3. Johan Bos; Anne-Marie Mineur; Paul Buitelaar

    Bridging as Coercive Accomodation

    CLAUS-Report, Universität des Saarlandes, Vol. 52, 3/1995.

  4. Johan Bos; Paul Buitelaar; Anne-Marie Mineur

    Bridging as Coercive Accomodation

    In: 6th European Summer School in Logic, Language, and Information (ESSLLI'95). Workshop on "The Computational Lexicon", August 13-25. European Summer School in Logic, Language and Information (ESSLLI), Barcelona, Spain, 1995.

  5. Johan Bos; Paul Buitelaar; Anne-Marie Mineur

    Bridging as Coercive Accomodation

    In: Suresh Manandhar (Hrsg.). Computational Logic for Natural Language Processing (CLNLP '95) - Workshop Proceedings, April 3-5. Computational Logic for Natural Language Processing Workshop (CLNLP), South Queensferry, Scotland, 1995.

  6. Tania Avgustinova; Karel Oliva

    Wackernagel Position and Related Phenomena in Czech

    In: Wiener Slavistisches Jahrbuch, Vol. 41, Pages 21-42, 1995.

  7. Tania Avgustinova; Karel Oliva

    The Position of Sentential Clitics in the Czech Clause

    CLAUS-Report, Universität des Saarlandes, Vol. 68, 12/1995.

  8. Gregor Erbach; Mark van der Kraan; Suresh Manandhar; Herbert Ruessink; Craig Thiersch; Wojciech Skut

    Extending Unification Formalisms

    CLAUS-Report, Universität des Saarlandes, Vol. 62, 5/1995.

  9. Gregor Erbach; Mark van der Kraan; Suresh Manandhar; Herbert Ruessink; Craig Thiersch; Wojciech Skut

    Extending Unification Formalisms

    In: Proceedings of the 2nd Language Engineering Convention. CEC Language Engineering Convention, October 16-18, London, United Kingdom, 1995.

  10. Gregor Erbach; Mark van der Kraan; Suresh Manandhar; M. Andrew Moshier; Herbert Ruessink; Craig Thiersch (Hrsg.)

    The Reusability of Grammatical Resources. Deliverable D

    Edinburgh, Saarbrücken, Tilburg, Utrecht, 1995.