Login / Signup

The Inclusion of the Substitution Closure of Linear and One-Counter Languages in the Largest Sub-AFL of the Family of Algebraic Languages is Proper.

Luc Boasson
Published in: Inf. Process. Lett. (1973)
Keyphrases