Dynamic logic in four-phase micropipelines.

Stephen B. Furber Jianwei Liu

Published in: ASYNC (1996)

Keyphrases

dynamic logic
modal logic
reasoning about actions
propositional dynamic logic
imperative programs
classical first order logic
real time
neural network
agent programming
website
multiscale
learning phase
phase information
preprocessing phase