Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 105.
  1. Klaus Netter

    Towards a Theory of Functional Heads: German Nominal Phrases.

    In: John Nerbonne; Klaus Netter; Carl J. Pollard (Hrsg.). German in Head-Driven Phrase Structure Grammar. Pages 297-340, Lecture Note Series, Vol. 46, CSLI, Stanford, 1994.

  2. Klaus Netter

    Syntax in der Maschinellen Sprachverarbeitung

    In: Informationstechnik und Technische Informatik (it+ti), Vol. 36, No. 2, Pages 6-13, 1994.

  3. John Nerbonne; Carl J. Pollard; Klaus Netter (Hrsg.)

    German in Head-Driven Phrase Structure Grammar

    Lecture Notes Series, Vol. 46, CSLI Publications, Stanford, 1994.

  4. Melanie Siegel; Dieter Metzing

    Nullpronomina und die Organisation von Wissensquellen für den Transfer Japanisch - Englisch

    Universität Bielefeld, Verbmobil Memo, Vol. 12, 1994.

  5. Melanie Siegel

    Definitheit und Numerus. Anforderungen an den Transfer Japanisch-Englisch

    Universität Bielefeld, Verbmobil-Memo, Vol. 56, 1994.

  6. Thomas Pechmann; Hans Uszkoreit; Johannes Engelkamp; Dieter Zerbst

    Word Order in the German Middle Field: Linguistic Theory and Psycholinguistic Evidence

    Universität des Saarlandes, CLAUS-Report, Vol. 43, 8/1994.

  7. Wray Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

  8. Hans-Jürgen Bürckert

    A Resolution Principle for Constrained Logics

    In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.

  9. Dieter Hutter; Jürgen Cleve

    A Methodology for Equational Reasoning

    In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: DSS/Knowledge-based Systems. Hawaii International Conference on System Sciences (HICSS), 27th, January 4-7, Maui, Hawaii, USA, Vol. III, IEEE Computer Society Press, Los Alamitos, California, 1994.

  10. Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on Systems for Computer-Aided Specification, Development and Verification, July 4-5, Kiel, Germany, Techical Report, Vol. 9416, Universität Kiel, 1994.