Philippa Gardner

Local Reasoning About Tree Update

Authors

• Uri Zarfaty
• Philippa Gardner

Venue

Electronic Notes in Theoretical Computer Science 2006

Publication Date

May 2006

Identifiers

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

Source Materials

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