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

Neil Moore

Browse the full LATA paper archive.