and some weak forms of the axiom of choice.

Marianne Morillon

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

Keyphrases

inference rules
management system
database
machine learning
high level
database systems
computer science
viewpoint
modal logic