Login / Signup
On Proofs of Programs for Synchronization.
Irene Greif
Published in:
ICALP (1976)
Keyphrases
</>
computer programs
theorem proving
theorem prover
automatic programming
chaotic neural network
formal proof
mathematical proofs
real world
multimedia
answer sets
multi stream
natural deduction
cut elimination