Injectives in Finitely Generated Universal Horn Classes.

Michael H. Albert Ross Willard

Published in: J. Symb. Log. (1987)

Keyphrases

np hard
automatically generated
databases
computer vision
expert systems
automatically generating