David H. D. Warren and Peter Szeredi, editors. Proceedings of the Seventh International Conference on Logic Programming, Jerusalem, 1990. The MIT Press. This article was processed using the L a T E X macro package with LLNCS style  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Design for AKL with Intelligent Pruning - Abreu, Pereira (1993) (Correct)
No context found.
David H. D. Warren and Peter Szeredi, editors. Proceedings of the Seventh International Conference on Logic Programming, Jerusalem, 1990. The MIT Press. This article was processed using the L a T E X macro package with LLNCS style
Improving Backward Execution in the Andorra Family of.. - Abreu, Pereira, Codognet (1992) (2 citations) (Correct)
No context found.
David H. D. Warren and Peter Szeredi, editors. Proceedings of the Seventh International Conference on Logic Programming, Jerusalem, 1990. The MIT Press.
Improving Backward Execution in Non-Deterministic.. - Abreu, Pereira, Codognet (1992) (Correct)
No context found.
David H. D. Warren and Peter Szeredi, editors. Proceedings of the Seventh International Conference on Logic Programming, Cambridge, Massachusetts London, England, 1990. MIT Press.
A Process Algebra for Synchronous Concurrent.. - Brim, Gilbert.. (1996) (8 citations) (Correct)
No context found.
David H. D. Warren and P'eter Szeredi, editors. Proceedings of the Seventh International Conference on Logic Programming, Jerusalem, 1990. The MIT Press.
New Versions of Ask and Tell for Synchronous.. - Brim, Gilbert.. (1996) (Correct)
No context found.
David H. D. Warren and P'eter Szeredi, editors. Proceedings of the Seventh International Conference on Logic Programming, Jerusalem, 1990. The MIT Press.
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