Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 203.
  1. Mark-Jan Nederhof; Giorgio Satta

    Probabilistic parsing strategies

    In: Jürgen Dassow; Maia Hoeberechts; Helmut Jürgensen; Detlef Wotschke (Hrsg.). Proceedings of the 4th Workshop on Descriptional Complexity of Formal Systems (DCFS 2002), August 21 - 24. Workshop on Descriptional Complexity of Formal Systems (DCFS), London, Canada, Pages 216-230, 2002.

  2. Mark-Jan Nederhof; Giorgio Satta

    IDL-Expressions: A Compact Representation for Finite Languages in Generation Systems

    In: Gerhard Jäger; Paola Monachesi; Gerald Penn; Shuly Wintner (Hrsg.). Proceedings of the 7th Conference on Formal Grammars (FG2002). Conference on Formal Grammar (FG), Trento, Italy, Pages 125-136, 2002.

  3. Stefan Müller

    Syntax or Morphology: German Particle Verbs Revisited

    In: Nicole Dehé; Ray Jackendoff; Andrew McIntyre; Silke Urban (Hrsg.). Verb-Particle Explorations. Pages 119-139, Interface Explorations, Vol. 1, Mouton de Gruyter, Berlin, 2002.

  4. Stefan Müller

    Multiple Constituents in the "Vorfeld"

    In: Gerhard Jäger; Paola Monachesi; Gerald Penn; Shuly Wintner (Hrsg.). The 7th conference on Formal Grammar (FG 2002), 3-4 August. Conference on Formal Grammar (FG), Trento, Italy, Pages 113-124, 2002.

  5. Stefan Müller

    The Morphology of German Particle Verbs: Solving the Bracketing Paradox

    In: Frank van Eynde; Lars Hellan; Dorothee Beermann (Hrsg.). Proceedings of the HPSG-2001 Conference, Norwegian University of Science and Technology, August 3-5. International Conference on Head-Driven Phrase Structure Grammar (HPSG), Trondheim, Pages 247-266, CSLI Publications, 2002.

  6. Stefan Müller

    Mehrfache Vorfeldbesetzung

    In: Stephan Busemann (Hrsg.). Proceedings der 6. Konferenz zur Verarbeitung natürlicher Sprache. Konferenz zur Verarbeitung natürlicher Sprache (KONVENS-2002), September 30 - October 2, Saarbrücken, Germany, Pages 115-122, DFKI Documents (D), Vol. 02-01, German Research Center for AI (DFKI), 2002.

  7. Stefan Müller

    Complex Predicates: Verbal Complexes, Resultative Constructions, and Particle Verbs in German

    In: o.A.. Studies in Constraint-Based Lexicalism. CSLI Publications, Stanford, 2002.

  8. Axel Schairer; Dieter Hutter

    Proof Transformations for Evolutionary Formal Software Development

    In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002), Springer-Verlag, LNCS, 2002.

  9. Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer

    The Development Graph Manager MAYA

    In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002), Springer-Verlag, LNCS, 2002.

  10. Maintenance of Formal Software Developments by Stratified Verification

    In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Springer-Verlag, LNAI, 2002.