scientific article

zbMath1273.03111MaRDI QIDQ2851335

Uri Zarfaty, Philippa Gardner

Publication date: 10 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001745

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05)

Related Items (1)

Local Reasoning about Data Update

This page was built for publication: