) Orgun, M. A., Wadge, W. W. and Du, W., "Chronolog(Z): Linear-time logic programming," in Proc. of the Fifth International Conference on Computing and Information (O. Abou-Rabia, C. K. Chang, and W. W. Koczkodaj, eds.), pages 545--549. IEEE Computer Society Press, 1993. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Temporal Disjunctive Logic Programming - Gergatsoulis, RONDOGIANNIS (1997) (Correct)
No context found.
) Orgun, M. A., Wadge, W. W. and Du, W., "Chronolog(Z): Linear-time logic programming," in Proc. of the Fifth International Conference on Computing and Information (O. Abou-Rabia, C. K. Chang, and W. W. Koczkodaj, eds.), pages 545--549. IEEE Computer Society Press, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC