On the unification free Prolog programs

K.R. Apt; S. Etalle

doi:10.1007/3-540-57182-5_1

On the unification free Prolog programs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Mathematical Foundations of Computer Science 1993 (Proceedings 18th International Symposium, MFCS'93, Gdansk, Poland, August 30-September 3, 1993)
Editors	A.M. Borzyszkowski, S. Sokolowski
Publisher	Springer
Pages	1-19
ISBN (Print)	3-540-57182-5
DOIs	https://doi.org/10.1007/3-540-57182-5_1
Publication status	Published - 1993

Publication series

Name	Lecture Notes in Computer Science
Volume	711
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-57182-5_1

Cite this

Apt, K. R., & Etalle, S. (1993). On the unification free Prolog programs. In A. M. Borzyszkowski, & S. Sokolowski (Eds.), Mathematical Foundations of Computer Science 1993 (Proceedings 18th International Symposium, MFCS'93, Gdansk, Poland, August 30-September 3, 1993) (pp. 1-19). (Lecture Notes in Computer Science; Vol. 711). Springer. https://doi.org/10.1007/3-540-57182-5_1

@inproceedings{8b71557a28c74c7590c2d35bc49e16cf,

title = "On the unification free Prolog programs",

author = "K.R. Apt and S. Etalle",

year = "1993",

doi = "10.1007/3-540-57182-5_1",

language = "English",

isbn = "3-540-57182-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--19",

editor = "A.M. Borzyszkowski and S. Sokolowski",

booktitle = "Mathematical Foundations of Computer Science 1993 (Proceedings 18th International Symposium, MFCS'93, Gdansk, Poland, August 30-September 3, 1993)",

address = "Germany",

}

On the unification free Prolog programs. / Apt, K.R.; Etalle, S.
Mathematical Foundations of Computer Science 1993 (Proceedings 18th International Symposium, MFCS'93, Gdansk, Poland, August 30-September 3, 1993). ed. / A.M. Borzyszkowski; S. Sokolowski. Springer, 1993. p. 1-19 (Lecture Notes in Computer Science; Vol. 711).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - On the unification free Prolog programs

AU - Apt, K.R.

AU - Etalle, S.

PY - 1993

Y1 - 1993

U2 - 10.1007/3-540-57182-5_1

DO - 10.1007/3-540-57182-5_1

M3 - Conference contribution

SN - 3-540-57182-5

T3 - Lecture Notes in Computer Science

SP - 1

EP - 19

BT - Mathematical Foundations of Computer Science 1993 (Proceedings 18th International Symposium, MFCS'93, Gdansk, Poland, August 30-September 3, 1993)

A2 - Borzyszkowski, A.M.

A2 - Sokolowski, S.

PB - Springer

ER -