Verifiable properties of database transactions

From MaRDI portal
Publication:1281498

DOI10.1006/inco.1998.2731zbMath0927.68032OpenAlexW2029670992MaRDI QIDQ1281498

Michael Benedikt, Timothy G. Griffin, Leonid O. Libkin

Publication date: 22 March 1999

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1998.2731



Related Items



Cites Work