433 followers
RT @Jose_A_Alonso: Proving completeness of logic programs with the cut. ~ W. Drabent https://t.co/FpuemC5Vgb #Logic #Prolog
RT @Jose_A_Alonso: Proving completeness of logic programs with the cut. ~ W. Drabent https://t.co/FpuemC5Vgb #Logic #Prolog
Proving completeness of logic programs with the cut. ~ W. Drabent https://t.co/FpuemC5Vgb #Logic #Prolog
#arXiv #cs_LO "Proving completeness of logic programs with the cut. (arXiv:1602.08778v1 [cs.LO])" https://t.co/8NxP94h4n7