Content
Solvability of context equations with two context variables is decidable.
Automated Deduction, Proceedings CADE 16, Springer LNAI, 1999.
| Authors/Editors: |
Manfred Schmidt-Schauß Klaus U. Schulz |
|---|---|
| Publication Date: | 1999 |
| Type of Publication: | Konferenzen/Journale |