Solvability of Context Equations with Two Context Variables is Decidable.

Manfred Schmidt-Schau, Klaus U. Schulz

Browse the full CADE paper archive.