A CCS semantics for NIL.

Scott A. Smolka Robert E. Strom

Published in: Formal Description of Programming Concepts (1987)

Keyphrases

formal semantics
logic programming
data mining
evolutionary algorithm
semantic information
default reasoning
databases
learning algorithm
artificial intelligence
computer vision
data structure
intended meaning