1988
Semantics for logic programs without occur check
Publication
Publication
Presented at the
International Colloquium on Automata, Languages and Programming, Tampere
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
International Colloquium on Automata, Languages and Programming | |
Weijland, W. P. (1988). Semantics for logic programs without occur check. In Automata, Languages and Programming: 15th International Colloquium, Proceedings (pp. 710–726). Springer. |