Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 1994
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 105

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

    German in Head-Driven Phrase Structure Grammar

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

  2. Hans-Ulrich Krieger; Ulrich Schäfer

    TDL - A Type Description Language for HPSG. Part 2: User Guide

    DFKI, DFKI Documents (D), Vol. 94-14, 1994.

  3. Hans-Ulrich Krieger; Ulrich Schäfer

    TDL - A Type Description Language for HPSG. Part 1: Overview

    DFKI, DFKI Research Reports (RR), Vol. 94-37, 1994.

  4. Hans-Ulrich Krieger; Ulrich Schäfer

    TDL - A Type Description Language for Constraint-Based Grammars

    In: ACL (Hrsg.). Proceedings of the15th International Conference on Computational Linguistics (COLING '94). International Conference on Computational …

  5. Hans-Ulrich Krieger

    Typed Feature Formalisms as a Common Basis for Linguistic Specification

    DFKI, DFKI Research Reports (RR), Vol. 94-39, 1994.

  6. Hans-Ulrich Krieger

    Derivation Without Lexical Rules

    In: Christopher J. Rupp; Michael A. Rosner; Roderick Johnson (Hrsg.). Constraints, Language and Computation. Pages 277-313, Academic Press, London, …

  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: …

  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 …

Jahr