Indécidabilité des Corps de Courbe Réelle.

Luc Bélair Jean-Louis Duret

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

Keyphrases

inclusion dependencies
databases
building blocks
inference rules
xml documents
knowledge representation
management system
maximum likelihood
np complete