Login / Signup
Towards Specifying Symbolic Computation.
Jacques Carette
William M. Farmer
Published in:
CoRR (2019)
Keyphrases
</>
imperative programs
automated deduction
relational databases
dynamic logic