Solvability of Context Equations with two Context Variables is Decidable.

CIS-Bericht-98-114, Centrum für Informations- und Sprachverarbeitung, Universität München, 1998.

Authors/Editors:	Manfred Schmidt-Schauß Klaus U. Schulz
Publication Date:	1998
Type of Publication:	Konferenzen/Journale