Toward the Concept of Backtracking Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
A linear operational semantics for termination and complexity analysis of ISO prolog
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
| Hi-index | 0.00 |