Equivalence of Programs with Structured Variables

Alfred V. Aho Jeffrey D. Ullman

Published in: SWAT (1970)

Keyphrases

variable selection
equivalence relationship
artificial intelligence
real world
fixpoint
genetic algorithm
feature selection
website
answer sets
state variables
automatic programming
control program