Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 61 to 70 of 101.
  1. Stefan Müller

    Parsing of an HPSG Grammar for German: Word Order Domains and Discontinuous Constituents

    In: Jost Gippert; Peter Olivier (Hrsg.). Proceedings of the 11. Jahrestagung der Gesellschaft für Linguistische DatenVerarbeitung. Multilinguale …

  2. Stefan Müller

    An HPSG-Analysis for Free Relative Clauses in German

    In: Grammars, Vol. 2, No. 1, Pages 53-105, Springer, 1999.

  3. Stefan Müller

    Deutsche Syntax deklarativ. Head-Driven Phrase Structure Grammar für das Deutsche

    Linguistische Arbeiten, Vol. 394, Max Niemeyer Verlag, Tübingen, 1999.

  4. Walter Kasper; Bernd Kiefer; Hans-Ulrich Krieger; Christopher J. Rupp; Karsten L. Worm

    Charting the Depths of Robust Speech Parsing

    In: ACL (Hrsg.). 37th Annual Meeting of the Association for Computational Linguistics (ACLANNUAL '99), June 20-26. Annual Meeting of the Association …

  5. Gregor Erbach; Dagmar Unz; Joanne Capstick

    Interface-Design zur Unterstützung von Selektionsentscheidungen

    In: Werner Wirth; Wolfgang Schweiger (Hrsg.). Selektion im Internet. Westdeutscher Verlag, 1999.

  6. Franciska de Jong; Jean-Luc Gauvain; Jurgen den Hartog; Klaus Netter

    OLIVE: Speech-Based Video Retrieval

    In: Proceedings of the European Workshop on Content-Based Multimedia Indexing (CBMI'99), October 25-27. International Workshop on Content-Based …

  7. Heiko Mantel; Jens Otten

    linTAP: A Tableau Prover for Linear Logic

    In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …

  8. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    System Description: INKA 5.0 - A Logical Voyager

    In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

  9. Dennis Dams; Dieter Hutter; Natalia Sidorova

    Using the INKA prover to automate safety proofs in abstract interpretation - A case study

    In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, …

  10. Dieter Hutter; Alan Bundy

    The Design of the CADE-16 Inductive Theorem Prover Contest

    In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …