Login / Signup
An Epistemic Proof System for Parallel Processes.
M. van Hulst
John-Jules Ch. Meyer
Published in:
TARK (1994)
Keyphrases
</>
parallel implementation
modal logic
parallel processing
database
real time
neural network
genetic algorithm
case study
learning environment
search algorithm
general purpose
process model
processing elements
epistemic logic
parallel hardware