Completeness of Cyclic Proofs for Symbolic Heaps.
Makoto TatsutaKoji NakazawaDaisuke KimuraPublished in: CoRR (2018)
Keyphrases
- formal proofs
- equational theories
- high level
- theorem proving
- associative learning
- theorem prover
- connectionist models
- connectionist systems
- connectionist learning
- symbolic description
- metadata
- data sets
- database
- neural learning
- symbolic reasoning
- symbolic data
- symbolic representation
- mathematical knowledge
- knowledge base
- databases