Content
A General Semiunification Algorithm and its Correctness Proof
CIS-Bericht-94-74
| Authors/Editors: |
Robert F. Stärk |
|---|---|
| Publication Date: | 1994 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |