Algebras, Polynomials and Programs.

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

Keyphrases

intermediate level
higher order
automatic programming
prolog programs
knowledge base
multi agent
relational databases
answer sets
relation algebra