Type Dependencies for Logic Programs Using ACI-Unification

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

Original language	English
Title of host publication	Fourth Israel Symposium on Theory of Computing and Systems, ISTCS 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings
Publisher	Institute of Electrical and Electronics Engineers
Pages	136-145
Number of pages	10
ISBN (Print)	9780818676109
State	Published - 1996

Cite this

@inproceedings{3d9ccde4cf2e437d8bed97a69e298679,

title = "Type Dependencies for Logic Programs Using ACI-Unification",

author = "Michael Codish and Vitaly Lagoon",

year = "1996",

language = "English",

isbn = "9780818676109",

pages = "136--145",

booktitle = "Fourth Israel Symposium on Theory of Computing and Systems, ISTCS 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Type Dependencies for Logic Programs Using ACI-Unification. / Codish, Michael; Lagoon, Vitaly.
Fourth Israel Symposium on Theory of Computing and Systems, ISTCS 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings. Institute of Electrical and Electronics Engineers, 1996. p. 136-145.

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

TY - GEN

T1 - Type Dependencies for Logic Programs Using ACI-Unification

AU - Codish, Michael

AU - Lagoon, Vitaly

PY - 1996

Y1 - 1996

M3 - Conference contribution

SN - 9780818676109

SP - 136

EP - 145

BT - Fourth Israel Symposium on Theory of Computing and Systems, ISTCS 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings

PB - Institute of Electrical and Electronics Engineers

ER -