Unification des couleurs dans un λ-calcul polychrome.

Bernard P. Serpette Pascal Manoury Emmanuel Chailloux

Published in: JFLA (2014)

Keyphrases

bayesian networks
graphical models
theorem proving
probabilistic model
higher order
theorem prover
equational theories
management system
automated theorem proving
knuth bendix