Publication:4518415
From MaRDI portal
zbMath0949.68573MaRDI QIDQ4518415
Anthony J. Bonner, Michael Kifer
Publication date: 28 November 2000
68P15: Database theory
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B70: Logic in computer science
Related Items
Regular database update logics, Reasoning about nondeterministic and concurrent actions: A process algebra approach, An overview of transaction logic, A first step towards implementing dynamic algebraic dependences