Login / Signup
A Genetically Modified Hoare Logic.
Gilles Bernot
Jean-Paul Comet
Zohra Khalis
Adrien Richard
Olivier F. Roux
Published in:
CoRR (2015)
Keyphrases
</>
logic programming
modal logic
classical logic
genetic programming
real time
computational properties
proof theory
database
nonmonotonic logics