Pawel Urzyczyn. A Necessary and Sufficient Condition in Order That a Herbrand Interpretation Be Expressive Relative to Recursive Programs. Inf. Comput., 56(3):212-219, March 1983.
No references recorded for this publication.
No citations of this publication recorded.