Strong Semantical Characterization for Nondeterministic Programs.

László Csirmaz

Published in: Math. Log. Q. (1987)

Keyphrases

finite automata
finite state
computer programs
database systems
prolog programs
database
data sets
website
reinforcement learning
learning environment
search algorithm
automatic programming