Substructural Verification and Computational Feasibility.

Published in: IFIP TCS (2002)

Keyphrases

model checking
website
data sets
neural network
image segmentation
three dimensional
data structure
multi agent systems
mobile robot
digital images
propositional calculus