Compositional Z: Confluence Proofs for Permutative Conversion.

Koji Nakazawa Ken-etsu Fujita

Published in: Stud Logica (2016)

Keyphrases

theorem proving
theorem prover
formal proofs
mathematical proofs
machine learning
genetic algorithm
learning algorithm
natural deduction
formal proof
rewrite systems
video sequences
multi agent systems
multiresolution
interactive theorem proving