The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates

Neil Moore. The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates. In Adrian Horia Dediu, Armand-Mihai Ionescu, Carlos Martín-Vide, editors, Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Volume 5457 of Lecture Notes in Computer Science, pages 601-613, Springer, 2009. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: