Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1993
Alle Filter entfernen
Zeige Ergebnisse 81 bis 90 von 128.

  1. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

    In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, Vol. 16, ISBN 978-3-528-05344-4, Springer, 1993.

  2. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment

    In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, 1993.

  3. Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka

    On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

    In: Journal of Logic, Language and Information, Vol. 2, No. 1, Pages 1-18, Springer, Netherlands, 3/1993.

  4. Jürgen Cleve; Dieter Hutter

    Guiding equational proofs by attribute functions

    Interner Bericht, 1993.

  5. Hans-Ulrich Krieger; Ulrich Schäfer

    TDL ExtraLight User's Guide

    DFKI, DFKI Documents (D), Vol. 93-09, 1993.

  6. Hans-Ulrich Krieger; Ulrich Schäfer

    TDL - A Type Description Language for Unification-Based Grammars

    In: Harold Boley; François Bry; Ulrich Geske (Hrsg.). Proceedings of the Workshop on "Neuere Entwicklungen der deklarativen KI-Programmierung". Neuere Entwicklungen der deklarativen KI-Programmierung, September 13-15, Berlin, Germany, Pages 67-82, Research Report, No. RR-93-35, DFKI, 1993.

  7. Hans-Ulrich Krieger; Hannes Pirker; John Nerbonne

    Feature-Based Allomorphy

    In: 31st Annual Meeting of the Association for Computational Linguistics (ACL '93). Annual Meeting of the Association for Computational Linguistics (ACL-93), June 22-26, Ohio State University, Columbus, Ohio, USA, Pages 140-147, ACL, 1993.

  8. Hans-Ulrich Krieger; John Nerbonne

    Feature-Based Inheritance Networks for Computational Lexicons

    In: Ted Briscoe; Ann Copestake; Valeria de Paiva (Hrsg.). Inheritance, Defaults, and the Lexicon. Pages 90-136, Studies in Natural Language Processing, Cambridge University Press, New York, 1993.

  9. Hans-Ulrich Krieger

    Derivation Without Lexical Rules

    DFKI, DFKI Research Reports (RR), Vol. 93-27, 6/1993.

  10. Judith Klein; Ludwig Dickmann; Abdel Kader Diagne; John Nerbonne; Klaus Netter

    A Diagnostic Tool for German Syntax

    In: Stephan Busemann; Karin Harbusch (Hrsg.). Proceedings of the DFKI Workshop on Natural Language Systems: Reusability and Modularity. DFKI Workshops, October 23, Saarbrücken, Germany, Pages 11-18, DFKI Documents (D), Vol. 93-03, DFKI, 1993.

Jahr