Login / Signup
Hoare Calculi for Higher-Type Control Structures and Their Completeness in the Sense of Cook.
Andreas Goerdt
Published in:
MFCS (1988)
Keyphrases
</>
control structures
control structure
neural network
artificial intelligence
data mining
information systems
case study
multi agent
natural language
fuzzy logic
manufacturing systems
higher quality
multiple types