Information

You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

loading
Infinitary Axiomatization of the Equational Theory of Context-Free Languages