Representing CCS Programs by Finite Predicate/Transition Nets.

Published in: Acta Informatica (1990)

Keyphrases

unit length
database
computer vision
first order logic
intermediate level
function symbols
control program
real time
neural network
database systems
reinforcement learning
computer programs
automatic programming