C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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