Skip to content

On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion.

Koichi Furukawa, Tomonobu Ozaki

VenueBILP
Year2000
ProceedingsILP Work-in-progress reports

Browse the full ILP paper archive.