A simplified proof of Parikh's theorem.

Jonathan Goldstine

Published in: Discret. Math. (1977)

Keyphrases

interactive theorem proving
theorem prover
logical rules
database
real time
data sets
three dimensional
special case
medical images
digital topology