Some Highly Undecidable Lattices.

Menachem Magidor John W. Rosenthal Mattiyahu Rubin Gabriel Srour

Published in: Ann. Pure Appl. Log. (1990)

Keyphrases

sufficient conditions
neural network
artificial intelligence
pattern recognition
np complete
expert systems