A Simpler Semantics for Z.

Paul H. B. Gardiner P. J. Lupton Jim Woodcock

Published in: Z User Workshop (1990)

Keyphrases

logical language
formal semantics
neural network
evolutionary algorithm
logic programming
semantic information
graphical representation
database
databases
artificial intelligence
data structure
expert systems
conceptual graphs