Login / Signup
The Incompleteness of Misra and Chandy's Proof Systems.
Van Nguyen
Published in:
Inf. Process. Lett. (1985)
Keyphrases
</>
database systems
mobile robot
distributed systems
computer systems
learning systems
linear logic
real time
data sets
computer vision
expert systems
probabilistic model
management system
complex systems
retrieval systems
incomplete information
computing systems