Content
Combining Unification and Disunification Algorithms -- Tractable and Intractable Instances
CIS-Bericht-96-99
| Authors/Editors: |
Klaus U. Schulz |
|---|---|
| Publication Date: | 1996 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |
Related Links