Author: De Schreye D. Gluck R. Jorgensen J. Leuschel M. Martens B. Sorensen M.H.
Publisher: Elsevier
ISSN: 0743-1066
Source: The Journal of Logic Programming, Vol.43, Iss.3, 2000-06, pp. : 265-265
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Multi-dimensional logic programming: theoretical foundations
Theoretical Computer Science, Vol. 185, Iss. 2, 1997-10 ,pp. :
Experiments in linear natural deduction
Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. :