Transformation of Left Terminating Programs: the Reordering Problem.

Annalisa Bossi Nicoletta Cocco Sandro Etalle

Published in: LOPSTR (1995)

Keyphrases

computer programs
neural network
image processing
artificial intelligence
relational databases
artificial neural networks
stable models