1994
A logic for variable aliasing in logic programs
Publication
Publication
Presented at the
International Conference on Algebraic and Logic Programming, Madrid
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Algebraic and Logic Programming | |
Marchiori, E. (1994). A logic for variable aliasing in logic programs. In Algebraic and Logic Programming (pp. 287–304). Springer. |