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 102
  1. Heiko Mantel

    Developing a Matrix Characterization for MELL

    DFKI, DFKI Research Reports (RR), Vol. 98-03, 9/1998.

  2. Serge Autexier; Heiko Mantel; Werner Stephan

    Simultaneous Quantifier Elimination

    In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German …

  3. Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …

  4. Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), …

  5. Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

  6. Stefan Müller

    An HPSG-Analysis for Free Relative Clauses in German

    Verbmobil Report, DFKI, Vol. 224, 1998.

  7. Stefan Müller

    Case in German - An HPSG-Analysis

    In: ESSLLI '98 Workshop on Current Topics in Constraint-Based Theories of Germanic Syntax. European Summer School in Logic, Language and Information …

  8. Judith Klein; Sabine Lehmann; Klaus Netter; Tillmann Wegst

    DiET in the Context of MT Evaluation

    In: R. Nübel; U. Seewald-Heeg (Hrsg.). Evaluation of the Linguistic Performance of Machine Translation Systems. Proceedings of the KONVENS '98 …

  9. Hans Uszkoreit; Thorsten Brants; Denys Duchier; Brigitte Krenn; Lars Konieczny; Stephan Oepen; Wojciech Skut

    Studien zur performanzorientierten Linguistik. Aspekte der Relativsatzextraposition im Deutschen

    CLAUS-Report, Universität des Saarlandes, Vol. 99, 4/1998.