1993
On the unification free Prolog programs
Publication
Publication
Presented at the
International Symposium on Mathematical Foundations of Computer Science, Gdansk, Poland
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
International Symposium on Mathematical Foundations of Computer Science | |
Organisation | Networks and Optimization |
Apt, K., & Etalle, S. (1993). On the unification free Prolog programs. In Mathematical Foundations of Computer Science 1993 (MFCS 18) (pp. 1–19). Springer. |