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 71 to 80 of 105.
  1. Robert Dale; Wolfgang Finkler; Richard Kittredge; Nils Lenke; Günter Neumann; Conny Peters; Manfred Stede

    Report from Working Group 2: Lexicalization and Architecture

    In: Wolfgang Hoeppner; Helmut Horacek; Johanna Moore (Hrsg.). Principles of Natural Language Generation. Dagstuhl Seminare/Workshops, July 25-29, …

  2. 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.

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

  4. 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 …

  5. Synthesizing Induction Orderings for Existence Proofs

    In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on …

  6. Synthesizing Induction Orderings for Existence Proofs

    In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction …

  7. R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke

    Verification Support Enviroment (VSE)

    In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.

  8. R. Förster et al.

    VSE-Benutzerhandbuch, Teil I - III

    Manual, Bundesamt für Sicherheit in der Informationstechnik, 1994.

  9. Hans-Jürgen Bürckert

    A Resolution Principle for Constrained Logics

    In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.

  10. About the Logical Partitioning of Document Images

    In: Proceedings of SDAIR'94. Annual Symposium on Document Analysis and Information Retrieval (SDAIR-94), 3rd, April 11-13, Las Vegas, NV, USA, Pages …