Semantics of Nondeterministic and Noncontinuous Constructs.

Manfred Broy Rupert Gnatz Martin Wirsing

Published in: Program Construction (1978)

Keyphrases

logic programming
formal semantics
data sets
neural network
semantic information
semantic representation
real world
expert systems
finite state
transformation rules
language constructs