Sign in

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