Content
A Decidable Case of the Semi-Unification Problem
CIS-Bericht-91-43
| Authors/Editors: |
Hans Leiß Fritz Henglein |
|---|---|
| Publication Date: | 1991 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |
Breadcrumb Navigation
- Home
- CIS-Berichte
- A Decidable Case of the Semi-Unification Problem