Proof of Work can Work.

Debin Liu L. Jean Camp

Published in: WEIS (2006)

Keyphrases

theorem prover
theorem proving
image processing
multimedia
three dimensional
cooperative
special case
description logics
linear logic