From OBJ to ML to Coq.

Jacek Chrzaszcz Jean-Pierre Jouannaud

Published in: Essays Dedicated to Joseph A. Goguen (2006)

Keyphrases

maximum likelihood
formal methods
theorem prover
em algorithm
function symbols
artificial intelligence
data structure
xml documents
first order logic