Type Dependencies for Logic Programs Using ACI-Unification

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

Original language	English GB
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
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 = "אנגלית",

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 = "ארצות הברית",

}

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 - פרסום בספר כנס

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 -