Second order conservative languages with a Maltsev polymorphism also have a majority polymorphism.

Evgeniy Vodolazskiy

Published in: CoRR (2017)

Keyphrases

expressive power
higher order
databases
information systems
database
artificial intelligence
metadata
image processing
natural language
probabilistic model
semantic web