@conference {384497, title = {Study of limits of solvability in tag systems}, booktitle = {Lecture Notes in Computer Science}, year = {2007}, publisher = {Springer}, organization = {Springer}, abstract = {

In this paper we will give an outline of the proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a deletion number v = 2. This result will be situated in a more general context of research on limits of solvability in tag systems.

}, isbn = {978-3-540-74592-1}, author = {De Mol, Liesbeth}, editor = {Durand Lose, J and Margenstern, M} }