Decidability of operation problems for T0L languages and subclasses

Autor: Bordihn, Henning, Holzer, Markus, Kutrib, Martin
Zdroj: In Information and Computation March 2011 209(3):344-352
Databáze: ScienceDirect