A Belated Proof of Self-Stabilization.

Edsger W. Dijkstra

Published in: Distributed Comput. (1986)

Keyphrases

theorem prover
theorem proving
computer vision
linear logic
image processing
video stabilization
proof search
proof planning
information retrieval
multimedia
search algorithm
natural deduction