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

DOI10.1007/978-3-642-00982-2_51zbMath1234.68029OpenAlexW1583827705MaRDI QIDQ3618616

Neil Moore

Publication date: 2 April 2009

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00982-2_51

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Data structures (68P05) Internet topics (68M11)

Related Items (1)

Computational complexity of the problem of tree generation under fine-grained access control policies

Uses Software

• XPath

Cites Work

• Reasoning about XML update constraints
• Containment and equivalence for a fragment of XPath
• Unnamed Item
• Unnamed Item

This page was built for publication: The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates