Balancing lists: a proof pearl.

Guyslain Naves Arnaud Spiwack

Published in: CoRR (2014)

Keyphrases

belief revision
theorem proving
causal models
real time
real world
decision trees
digital libraries
probabilistic model
theorem prover
linear logic
mathematical proofs