Pages that link to "Item:Q4593950"
From MaRDI portal
The following pages link to The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs (Q4593950):
Displayed 2 items.