A Note on Undefined Expression Values in Programming Logics.

Robert D. Tennent

Published in: Inf. Process. Lett. (1987)

Keyphrases

expressive power
modal logic
programming language
artificial intelligence
expert systems
attribute values
learning algorithm
case study
computer science
parameter values
computer programming
programming course
classical logic
real numbers