Defining Languages by Forbidding-Enforcing Systems

Daniela Genova. Defining Languages by Forbidding-Enforcing Systems. In Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova, editors, Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings. Volume 6735 of Lecture Notes in Computer Science, pages 92-101, Springer, 2011. [doi]

Abstract

Abstract is missing.