Login / Signup
Reasoning about call-by-value: a missing result in the history of Hoare's logic.
Krzysztof R. Apt
Frank S. de Boer
Published in:
CoRR (2019)
Keyphrases
</>
formal theory
logic programming
databases
multi agent
causal reasoning
data mining
information retrieval
artificial intelligence
knowledge base
expert systems
missing data
modal logic
qualitative reasoning