Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 41 bis 50 von 80
  1. Dieter Hutter; Claus Sengler

    The Graphical User Interface of INKA

    In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem …

  2. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    On Skolemization in Constrained Logics

    In: Martin C. Golumbic (Hrsg.). Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 18, No. 2, Pages 95-131, Springer, Netherlands, 9/1996.

  3. Using Rippling for Equational Reasoning

    In: S. Hölldobler (Hrsg.). Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. German Conference on Artificial Intelligence …

  4. Andrew Bredenkamp; Thierry Declerck; Frederik Fouvry; Bradley Music

    Efficient Integrated Tagging of Word Constructs

    In: Proceedings of the 16th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-96), …

  5. Tania Avgustinova; Karel Oliva

    Unbounded Dependencies in HPSG Without Traces or Lexical Rules

    CLAUS-Report, Universität des Saarlandes, Vol. 70, 1/1996.

  6. Tania Avgustinova; Karel Oliva

    The Communicative Nature of the Wackernagel Position

    In: Prague School Linguistics Conference. Prague School Linguistics Conference, Prague, 1996.

  7. Tania Avgustinova

    Relative Clause Constructions in Bulgarian HPSG

    CLAUS-Report, Universität des Saarlandes, Vol. 71, 1/1996.

  8. Tania Avgustinova

    An HPSG-Style Grammar of Bulgarian (for the Purposes of a Grammar-Checker Implementation)

    Final Deliverable Report, Project LATESLAV, Universität des Saarlandes, 1996.

  9. Tania Avgustinova

    Between Lexicon and Syntax Proper

    CLAUS-Report, Universität des Saarlandes, Vol. 80, 9/1996.

  10. Sabine Lehmann; Stephan Oepen; Sylvie Regnier-Prost; Klaus Netter; Veronika Lux; Judith Klein; Kirsten Falkedal; Frederik Fouvry; Dominique Estival; Eva Dauphin; Hervé Compagnion; Judith Baur; Lorna Balkan; Doug Arnold

    TSNLP - Test Suites for Natural Language Processing

    In: Proceedings of the 16th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-96), …