Yet another proof of Parikh's Theorem.

Manfred Kufleitner

Published in: CoRR (2022)

Keyphrases

interactive theorem proving
linear logic
neural network
theorem prover
theorem proving
mathematical proofs
real time
multi agent systems
hidden markov models
automated theorem proving
natural deduction