A. Colmerauer. Prolog and infinite trees. In K. L. Clark and S.-A. Tarnlund, editors, Logic Programming, volume 16, pages 231--251. Academic Press, London, 1982. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Information Sharing Theory of Dialogue and Four Classes of.. - Ogata (Correct)
A Complete and Recursive Feature Theory - Backofen, Smolka (1992) (12 citations) (Correct)
An Abstract Machine for Oz - Mehl, al. (1995) (17 citations) (Correct)
A Revision System of Circular Objects and its Applications to.. - Ogata (Correct)
The Formal and Computational Theory of Complex Constraint.. - Damas, Moreira, Varile (1994) (Correct)
Improving the Representation of Infinite Trees to Deal with Sets .. - Mauborgne (2000) (4 citations) (Correct)
A Correct, Precise and Efficient Integration of Set-Sharing.. - Hill, al. (2001) (Correct)
An Efficient and Precise Finite-Tree Analysis for.. - Bagnara, Zaffanella, .. (Correct)
Soundness, Idempotence and Commutativity of Set-Sharing - Hill, Bagnara, Zaffanella (1998) (Correct)
The Correctness of Set-Sharing - Hill, Bagnara, Zaffanella (1998) (1 citation) (Correct)
Moded Flat GHC and Its Message-Oriented Implementation Technique - Ueda, Morita (1994) (20 citations) (Correct)
A Correct, Precise and Efficient Integration of.. - Hill, Zaffanella.. (2001) (Correct)
Entailment with Conditional Equality Constraints - Su, Aiken (2000) (Correct)
Berlioz: Compiling Oz To Java Bytecode - Thang (2001) (2 citations) (Correct)
New Bounds in Parallel Unification - Bellia, Occhiuto (2001) (Correct)
Boolean Functions for Finite-Tree Dependencies - Bagnara, Zaffanella, Gori, Hill (2001) (Correct)
Positive Active XML - Abiteboul, Benjelloun, Milo (2004) (2 citations) (Correct)
Finite-Tree Analysis for Constraint Logic-Based.. - Bagnara, Gori, Hill, .. (2001) (1 citation) (Correct)
Finite-Tree Analysis for Constraint Logic-Based Languages - Bagnara, Gori, Hill.. (2001) (1 citation) (Correct)
Finite-Tree Analysis for Constraint Logic-Based Languages - Bagnara, Gori, Hill.. (2001) (1 citation) (Correct)
Finite-Tree Analysis for Constraint Logic-Based.. - Bagnara, Gori, Hill, .. (2001) (1 citation) (Correct)
Positive Active XML - Abiteboul, Benjelloun, Milo (2004) (2 citations) (Correct)
Efficient Structural Information Analysis for Real CLP.. - Bagnara, Hill, Zaffanella (1955) (2 citations) (Correct)
Intelligent Information Systems - Polish Academy Of (Correct)
Information Sharing Theory of Dialogue and Four Classes of.. - Ogata (Correct)
First 50 documents Next 50
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