Login / Signup
Rigidity is undecidable
Mikolaj Bojanczyk
Stanislaw Szawiel
Marek W. Zawadowski
Published in:
CoRR (2012)
Keyphrases
</>
sufficient conditions
np complete
datalog programs
information systems
point correspondences
high level
multi agent systems
preprocessing
management system
data exchange
deductive databases