Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1996
Remove all filters
Displaying results 31 to 40 of 80.

  1. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Deduction in the Verification Support Environment (VSE)

    In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods. Formal Methods Europe (FME-96), 3rd, March 17-21, Oxford, United Kingdom, Pages 168-286, Lecture Notes In Computer Science (LNCS), Vol. 1051, ISBN 3-540-60973-3, Springer-Verlag, London, UK, 1996.

  2. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.

  3. Dieter Hutter; David McAllister; Christoph Walther

    Workshop on Automation of Proofs by Mathematical Induction

    13th Conference on Automated Deduction, New Brunswick, USA, 1996.

  4. Dieter Hutter; Claus Sengler

    INKA: The Next Generation

    In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International Conference on Automated Deduction (CADE), 13th, July 30 - August 3, New Brunswick, NJ, USA, Pages 288-292, Lecture Notes in Computer Science (LNCS), Vol. 1104, ISBN 978-3-540-61511-8, Springer-Verlag, Berlin, Heidelberg, 1996.

  5. Dieter Hutter; Claus Sengler

    The Graphical User Interface of INKA

    In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-96), July 19, York, United Kingdom, Pages 43-50, N. Merriam, 1996.

  6. Stephan Busemann

    Best-First Surface Realization

    In: Donia Scott (Hrsg.). Proceedings of the 8th International Natural Language Generation Workshop (INLG'96), June. International Natural Language Generation Conference (INLG), Sussex, UK, Pages 101-110, 1996.

  7. Stephan Busemann

    Best-First Surface Realization

    Research Report, DFKI, Vol. RR-96-05, 1996.

  8. Andrew Bredenkamp; Thierry Declerck; Frederik Fouvry; Bradley Music

    Efficient Integrated Tagging of Word Constructs

    In: Proceedings of the 16th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-96), August 5-9, Copenhagen, Denmark, Pages 1028-1031, Morgan Kaufmann Publishers, 1996.

  9. Tania Avgustinova; Karel Oliva

    Unbounded Dependencies in HPSG Without Traces or Lexical Rules

    CLAUS-Report, Universität des Saarlandes, Vol. 70, 1/1996.

  10. Tania Avgustinova; Karel Oliva

    The Communicative Nature of the Wackernagel Position

    In: Prague School Linguistics Conference. Prague School Linguistics Conference, Prague, 1996.

Year