Philippa Gardner

Local Reasoning About Tree Update

Authors

• Uri Zarfaty
• Philippa Gardner

Venue

Electr. Notes Theor. Comput. Sci., vol. 158, pp. 399–424

Publication Date

May 2006

Identifiers

• DOI: doi:10.1016/j.entcs.2006.04.020

Source Materials

• Authors' Preprint/Accepted Version
• Published Edition
• BibTeX Citation