The Liveness Property of On-the-Fly Garbage Collector - A Proof.

S. Ramesh S. L. Mehndiratta

Published in: Inf. Process. Lett. (1983)

Keyphrases

theorem prover
garbage collection
information systems
mathematical proofs
artificial intelligence
multimedia
multi agent
search algorithm
natural deduction
complete axiomatization