A Proof Technique for Register Automicity.

Baruch Awerbuch Lefteris M. Kirousis Evangelos Kranakis Paul M. B. Vitányi

Published in: FSTTCS (1988)

Keyphrases

theorem prover
decision making
mobile robot
theorem proving
linear logic
proof theory
real time
machine learning
artificial intelligence
image processing
multiscale
video sequences
relational databases
proof planning