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 81 to 90 of 97.
  1. Georg Rock

    Transformations of First-Order Formulae for Automated Reasoning

    em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.

  2. Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif

    The VSE development method - a way to engineer high-assurance software systems

    In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". …

  3. Anne-Marie Mineur; Paul Buitelaar

    A Compositional Treatment of Polysemous Arguments in Categorial Grammar

    CLAUS-Report, Universität des Saarlandes, Vol. 49, 1/1995.

  4. Anne-Marie Mineur; Paul Buitelaar

    A Compositional Treatment of Polysemous Arguments in Categorial Grammar

    In: Kees van Deemter; Stanley Peters (Hrsg.). Semantic Ambiguity and Underspecification. CSLI Publications, Stanford, 1995.

  5. Hans-Ulrich Krieger; Ulrich Schäfer

    Efficient Parameterizable Type Expansion for Typed Feature Formalisms

    DFKI, DFKI Research Reports (RR), Vol. 95-18, 1995.

  6. Hans-Ulrich Krieger; Ulrich Schäfer

    Efficient Parameterizable Type Expansion for Typed Feature Formalisms

    In: 14th International Joint Conference on Artificial Intelligence (IJCAI '95), August 20-25. International Joint Conference on Artificial …

  7. 33rd Annual Meeting of the Association for Computational Linguistics (ACL-ANNUAL '95). Proceedings of the Conference

    Annual Meeting of the Association for Computational Linguistics (ACL), ACL, Cambridge, USA, 1995.

  8. 33rd Annual Meeting of the Association for Computational Linguistics (ACL-ANNUAL'95), June 26-30. Proceedings of the Conference

    Annual Meeting of the Association for Computational Linguistics (ACL), ACL, Cambridge, USA, 1995.

  9. Melanie Siegel

    Problems of Automatic Translation of Japanese Dialogues into German

    In: W. von Hahn; S. Jekat; I. Maleck (Hrsg.). Machine Translation and Machine Interpretation. Proceedings of the VERBMOBIL Workshop at the University …

  10. Ulrich Schäfer

    Parameterized Type Expansion in the Feature Structure Formalism TDL

    Mastersthesis, Universität des Saarlandes, 1995.