A Scheme for Synchronizing High-Speed Logic Part II.

Herschel H. Loomis Jr.

Published in: IEEE Trans. Computers (1970)

Keyphrases

high speed
logic programming
real time
automated reasoning
classical logic
proof theory
search algorithm
computational complexity
frame rate
high speed networks
flip flops