AAAAAA

   
Results: 1-3 |
Results: 3
Polynomial-time learnability of logic programs with local variables from entailment
Authors: Rao, MRKK Sattar, A
Citation: Mrkk. Rao et A. Sattar, Polynomial-time learnability of logic programs with local variables from entailment, THEOR COMP, 268(2), 2001, pp. 179-198
Some classes of prolog programs inferable from positive data
Authors: Rao, MRKK
Citation: Mrkk. Rao, Some classes of prolog programs inferable from positive data, THEOR COMP, 241(1-2), 2000, pp. 211-234
Some characteristics of strong innermost normalization
Authors: Rao, MRKK
Citation: Mrkk. Rao, Some characteristics of strong innermost normalization, THEOR COMP, 239(1), 2000, pp. 141-164
Risultati: 1-3 |