Programs over Aperiodic Monoids.

Published in: Theor. Comput. Sci. (1989)

Keyphrases

preprocessing
automatic programming
data sets
machine learning
case study
mobile robot
logic programming
provably correct