Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1987
Remove all filters
Displaying results 1 to 10 of 16.

  1. Hans-Jürgen Bürckert

    Deduktion als Berechnung

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 134-152, Oldenbourg Verlag, 1987.

  2. Hans-Jürgen Bürckert

    Unifikationstheorie

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 104-114, Oldenbourg-Verlag, 1987.

  3. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification? (Abstract)

    In: Claude Kirchner (Hrsg.). Summaries of Talks given at 1st Workshop on Unification. International Workshop on Unification (UNIF-87), March 18-20, Val d`Ajol, France, Pages 162-169, Rapport Interne, Vol. 87 R 34, Université de Nancy, 1987.

  4. Hans-Jürgen Bürckert

    Lazy E-Unification - A Method to Delay Alternative Solution (Extended Abstract)

    Universität Kaiserslautern, SEKI Working Papers, Vol. SWP-87-07, 1987.

  5. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

    Universität Kaiserslautern, SEKI Reports, Vol. SR-87-08, 1987.

  6. Hans-Jürgen Bürckert

    Solving Disequation in Equational Theories

    Universität Kaiserslautern, SEKI Reports, Vol. SR-87-15, 1987.

  7. Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß

    On Equational Theories

    Universität Kaiserslautern, SEKI Reports, Vol. SR-87-20, 1987.

  8. Gregor Erbach

    Maschinelle Syntaxanalyse des Deutschen, Englischen und Französischen auf Grundlage verschiedener Grammatikformalismen

    Mastersthesis, Johannes-Gutenberg Universität, 1987.

  9. Andreas Dengel; A. Luhn; B. Ueberreiter

    Data and Model Representation and Hypothesis Generation in Document Recognition

    In: Proceedings of the 5th SCIA. Scandinavian Conference on Image Analysis (SCIA), Pages 57-64, 6/1987.

  10. Andreas Dengel; G. Barth; A. Luhn; B. Ueberreiter

    Ein Ansatz zur Modellierung und Analyse von Dokumenten durch ein Zerschneidungsverfahren für das Layout

    In: M. Paul (Hrsg.). Proceedings 17. GI-Jahrestagung Computerintegrierter Arbeitsplatz im Büro. GI-Fachtagungen, Pages 629-639, Springer, 10/1987.

Year