Login / Signup
On Decidability of Persistence Notions.
Kamila Barylska
Lukasz Mikulski
Published in:
CS&P (2015)
Keyphrases
</>
description logics
computational properties
query answering
key properties
formal definitions
database
real time
databases
decision making
web services
model theoretic
dynamic aspects