Login / Signup

The Equivalence of pre-NTS Grammars is Decidable.

Jean-Michel AutebertLuc Boasson
Published in: Math. Syst. Theory (1992)
Keyphrases