SEMIGROUPS WITH if-then-else AND HALTING PROGRAMS.

Marcel Jackson Timothy Stokes

Published in: Int. J. Algebra Comput. (2009)

Keyphrases

computer programs
control structures
artificial intelligence
similarity search
real time
neural network
information systems
website
image segmentation
digital libraries
answer sets
automatic programming