Aspects of an internal logic for persistence.

João Pita Costa Primoz Skraba Mikael Vejdemo-Johansson

Published in: CoRR (2014)

Keyphrases

classical logic
main aspects
proof theory
real time
social networks
database systems
logic programming
internal and external
genetic algorithm
modal logic
probabilistic logic
logical framework
predicate logic