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 81 bis 90 von 116
  1. Equalizing Terms by Difference Reduction Techniques

    In: H. Kirchner; B. Gramlich (Hrsg.). Proceedings Workshop on Strategies in Automated Deduction. International Workshop on Strategies in Automated …

  2. Using Rippling to Prove the Termination of Algorithms

    DFKI, DFKI Research Reports (RR), Vol. 97-03, 1997.

  3. Georg Rock; Werner Stephan; Andreas Wolpers

    Tool Support for the Compositional Development of Distributed Systems

    In: A. Wolisz; I. Schieferdecker; A. Rennoch (Hrsg.). 7. GI/ITG Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme. …

  4. Wojciech Skut; Brigitte Krenn; Thorsten Brants; Hans Uszkoreit

    An Annotation Scheme for Free Word Order Languages

    In: Paul Jacobs (Hrsg.). Proceedings of the 5th Conference on Applied Natural Language Processing (ANLP'97), March 31 - April 3. Applied Natural …

  5. Wojciech Skut; Thorsten Brants; Brigitte Krenn; Hans Uszkoreit

    Annotating Unrestricted German Text

    In: 6. Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft (DGfS/CL 97), 8.-10. Oktober. Fachtagung der …

  6. Flora Ramírez Bustamante; Fernando Sánchez León; Thierry Declerck

    Grammar Checking and Preprocessing in ALEP

    In: Proceedings of the 3rd ALEP User Group Workshop, March 6-7. ALEP User Group Workshop, Saarbrücken, Germany, 1997.

  7. Flora Ramírez Bustamante; Fernando Sanchéz León; Thierry Declerck

    Correccion grammatical y preprocesamiento

    In: Proceedings of the Lenguaje Natural, Revista numero 21, July. Processamiento del Lenguaje Natural, Madrid, Spain, 1997.

  8. Flora Ramírez Bustamante; Fernando Sánchez Leon; Thierry Declerck

    Correccion grammatical y preprocesamiento

    In: Procesamiento del Lenguaje Natural (SEPLN), Vol. Revista numero 21, July, 1997.