Content
Decidability of bounded higher-order unification.
Forschungsbericht, Centrum für Informations- und Sprachverarbeitung, Universität München, 2001.
| Authors/Editors: |
Manfred Schmidt-Schauß Klaus U. Schulz |
|---|---|
| Publication Date: | 2001 |
| Type of Publication: | Konferenzen/Journale |