Skip to main content Skip to main navigation

Publikationen

 

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

Zeige Ergebnisse 41 bis 50 von 102
  1. Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

  2. Erica Melis; Axel Schairer

    Similarities and Reuse of Proofs in Formal Software Verification

    In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning …

  3. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages …

  4. Georg Rock; Werner Stephan; Andreas Wolpers

    Assumption-Commitment Specifications and Safety-Critical Systems

    In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98), 8. June 4-5, …

  5. Andreas Wolpers; Werner Stephan

    Modular Verification of Programmable Logic Controllers with TLA

    In: Gérard Morel; Francois B. Vernadat (Hrsg.). INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information …

  6. Feiyu Xu

    Underspecified Treatment of Verb Phrase Ellipsis

    In: Proceedings of the ESSLLI '98 Student Session, August 17-28. European Summer School in Logic, Language and Information (ESSLLI), 1998.

  7. Feiyu Xu

    Underspecified Representation and Resolution of Ellipsis

    Mastersthesis, Universität des Saarlandes, Department of Computational Linguistics, 1998.

  8. Feiyu Xu; Markus Egg; Joachim Niehren; Peter Ruhrberg

    Constraints over Lambda-Structures in Semantic Underspecification

    In: 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics …

  9. Hans Uszkoreit; Stephan Oepen; Wojciech Skut; Thorsten Brants; Denys Duchier; Brigitte Krenn; Lars Konieczny

    Studien zur performanzorientierten Linguistik: Aspekte der Relativsatzextraposition im Deutschen

    In: Kognitionswissenschaft, Vol. 7, No. 3, Pages 129-133, 1998.

  10. Hans Uszkoreit; Annie Zaenen

    Overview

    In: Survey of the State of the Art in Human Language Technology. Page 95, Studies in Natural Language Processing, Cambridge University Press, 1998.