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 101 to 102 of 102.
  1. 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.

  2. Axel Schairer

    A Technique for Reusing Proofs in Software Verification

    Mastersthesis, FB 14 (Informatik) der Universität des Saarlandes und Institut A für Mechanik der Universität Stuttgart, Saarbrücken/Stuttgar, 3/1998.