New Proofs for Jump DPDA's.

Matti Linna Martti Penttonen

Published in: MFCS (1979)

Keyphrases

theorem proving
markov chain
theorem prover
database
neural network
formal proof
mathematical proofs
hidden markov models
probabilistic model
automated theorem proving
equational theories