Proof of Compositionality of CFT Correctness.

Simon Greiner Peter Munk Arne Nordmann

Published in: CoRR (2019)

Keyphrases

provably correct
theorem prover
theorem proving
three dimensional
special case
automated theorem proving
mathematical proofs
databases
real world
website
decision trees
similarity measure
search algorithm
information technology
probability distribution
linear logic