Login / Signup
A Unified Theory of Program Logics: An Approach based on the n-Calculus.
Kohei Honda
Nobuko Yoshida
Published in:
BCS Int. Acad. Conf. (2008)
Keyphrases
</>
computer algebra
proof theoretic
theoretical basis
proof theory
data sets
theoretical framework
test cases
default reasoning
genetic algorithm