Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Aus International Center for Computational Logic
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Franz BaaderFranz Baader
![Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Franz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Technical Report, Universität Kaiserslautern, volume {SR}-90-2, 1990. {SEKI} Report
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Technical Report, Universität Kaiserslautern, volume {SR}-90-2, 1990. {SEKI} Report
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ SEKI-SR-90-2,
author = {F. {Baader}},
institution = {Universit\"at Kaiserslautern},
number = {{SR}-90-2},
title = {Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems},
type = {{SEKI} Report},
year = {1990},
}