Definable principal congruences and solvability.

Pawel M. Idziak Keith A. Kearnes Emil W. Kiss Matthew Valeriote

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

Keyphrases

answer sets
first order logic
genetic algorithm
information systems
image processing
principal agent