Login / Signup
Amalgamation is Undecidable.
Manuel Bodirsky
Simon Knäuer
Jakub Rydval
Published in:
CoRR (2021)
Keyphrases
</>
sufficient conditions
np complete
datalog programs
data sets