Content
Solvability of Context Equations with two Context Variables is Decidable
CIS-Bericht-98-114
| Authors/Editors: |
Manfred Schmidt-Schauß Klaus U. Schulz |
|---|---|
| Publication Date: | 1998 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |
Related Links