Content
Decidability of Bounded Higher-Order Unification.
Computer Science Logic, 16th international Workshop, CSL 2002, J. Bradfield (Ed.), Springer LNCS 2471, pp. 522-536.
| Authors/Editors: |
Klaus U. Schulz Manfred Schmidt-Schauß |
|---|---|
| Publication Date: | 2002 |
| Type of Publication: | Konferenzen/Journale |