Institut für Wirtschaftsinformatik

Seite 9 von 11.

1. Hans-Jürgen Bürckert; Manfred Schmidt-Schauß

   On the Solvability of Equational Problems

   Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.

2. Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

   Extended Abstracts of 3rd International Workshop on Unification

   International Workshop on Unification (UNIF-89), 3rd, June 26-28, Lambrecht, Germany, SEKI Reports, Vol. SR-89-17, Universität Kaiserslautern, 1989.

3. Wary Buntine; Hans-Jürgen Bürckert

   On Solving Equations and Disequations

   Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.

4. Hans-Jürgen Bürckert

   Solving Disequations in Equational Theories

   In: E. L. Lusk; R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated …

5. Hans-Jürgen Bürckert; Alexander Herold; D. Kapur; Jörg Siekmann; Mark E. Stickel; Michael Tepp; H. Zhang

   Opening the AC-Unification Race

   Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.

6. Dieter Hutter

   Vollständige Induktion

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

7. Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)

   Deduktionssysteme. Automatisierung des logischen Denkens

   Oldenbourg-Verlag, 1987.

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

   On Equational Theories, Unification, and Decidability

   In: Pierre Lescanne (Hrsg.). Proceedings of 2nd International Conference on Rewriting Techniques and Applications. International Conference on …

9. Hans-Jürgen Bürckert

   Lazy E-Unification - A Method to Delay Alternative Solutions

   Université de Nancy, Rapport Interne, Vol. 87 R 34, 1987.

10. Hans-Jürgen Bürckert; Andreas Künkler

    Gesellschaftliche Auswirkungen der Informatik. Seminarvorträge

    Skriptum, Universität Kaiserslautern, Skriptum, Vol. WS 1986/87, 1987.

• vorherige
• 1
• …
• 8
• 9
• 10
• 11
• nächste