Completeness for recursive procedures in separation logic.

Mahmudul Faisal Al Ameen Makoto Tatsuta

Published in: Theor. Comput. Sci. (2016)

Keyphrases

multi valued
logic programming
modal logic
classical logic
data quality
decision trees
logic programs
computational properties
recursive programs
real time
recursive algorithm
formal theory
epistemic logic
sound and complete axiomatization
asynchronous circuits
defeasible logic
databases