Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 1993
Alle Filter entfernen
Zeige Ergebnisse 121 bis 128 von 128

  1. John Nerbonne; Stephan Oepen; Abdel Kader Diagne; Karsten Konrad; Ingo Neis

    NLL - Tools for Meaning Representation

    In: Stephan Busemann; Karin Harbusch (Hrsg.). DFKI Workshop on Natural Language Systems: Reusability and Modularity. DFKI Workshops, October 23, …

  2. John Nerbonne; Klaus Netter; Abdel Kader Diagne; Ludwig Dickmann; Judith Klein

    A Diagnostic Tool for German Syntax

    In: Machine Translation (MT), Vol. 8, Pages 85-107, Springer, 1993.

  3. John Nerbonne; Joachim Laubsch; Abdel Kader Diagne; Stephan Oepen

    Software for Applied Semantics

    In: Chu-Ren Huang; C. H. Chang; K. J. Chen; C.-H. Lui (Hrsg.). 1st Pacific Asia Conference on Formal and Computational Linguistics. Pacific Asia …

  4. Walter Kasper

    Integration of Syntax and Semantics in Feature Structures

    In: Stephan Busemann; Karin Harbusch (Hrsg.). Proceedings of the DFKI Workshop on Natural Language Systems: Reusability and Modularity. DFKI …

  5. Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka

    On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

    In: Journal of Logic, Language and Information, Vol. 2, No. 1, Pages 1-18, Springer, Netherlands, 3/1993.

  6. Jürgen Cleve; Dieter Hutter

    Guiding equational proofs by attribute functions

    Interner Bericht, 1993.

  7. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

    In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, …

  8. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment

    In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, 1993.

Jahr