The set of schemata of c-valid equations between regular expressions is independent of the basic alphabet.
Series: Turun Yliopiston Julkaisuja. Annales Universitatis Turkuensis, series A. I,; 144
Publisher: Turun Yliopisto
Published: 1970
Place of publication: Turku [Finland]
Language: eng
Subjects: Infinitary languages; Logic, Symbolic and mathematical
Notes: Includes bibliography.
Cover title.