Inference of inequality constraints in logic programs

Alexander Brodsky; Yehoshua Sagiv

doi:10.1145/113413.113434

Inference of inequality constraints in logic programs

Alexander Brodsky, Yehoshua Sagiv

The Rachel and Selim Benin School of Engineering and Computer Science

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

21 Scopus citations

Original language	English
Title of host publication	Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
Publisher	Association for Computing Machinery
Pages	227-240
Number of pages	14
ISBN (Print)	0897914309
DOIs	https://doi.org/10.1145/113413.113434
State	Published - 1 Apr 1991
Event	10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1991 - Denver, United States Duration: 29 May 1991 → 31 May 1991

Publication series

Name	Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Conference

Conference	10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1991
Country/Territory	United States
City	Denver
Period	29/05/91 → 31/05/91

Access to Document

10.1145/113413.113434

Cite this

@inproceedings{0c0b458e578b474bb01d74b65a6b60b9,

title = "Inference of inequality constraints in logic programs",

author = "Alexander Brodsky and Yehoshua Sagiv",

year = "1991",

month = apr,

day = "1",

doi = "10.1145/113413.113434",

language = "אנגלית",

isbn = "0897914309",

series = "Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems",

publisher = "Association for Computing Machinery",

pages = "227--240",

booktitle = "Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems",

note = "10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1991 ; Conference date: 29-05-1991 Through 31-05-1991",

}

Brodsky, A & Sagiv, Y 1991, Inference of inequality constraints in logic programs. in Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Association for Computing Machinery, pp. 227-240, 10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1991, Denver, United States, 29/05/91. https://doi.org/10.1145/113413.113434

Inference of inequality constraints in logic programs. / Brodsky, Alexander; Sagiv, Yehoshua.
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery, 1991. p. 227-240 (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems).

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

TY - GEN

T1 - Inference of inequality constraints in logic programs

AU - Brodsky, Alexander

AU - Sagiv, Yehoshua

PY - 1991/4/1

Y1 - 1991/4/1

UR - http://www.scopus.com/inward/record.url?scp=0002922310&partnerID=8YFLogxK

U2 - 10.1145/113413.113434

DO - 10.1145/113413.113434

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:0002922310

SN - 0897914309

T3 - Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

SP - 227

EP - 240

BT - Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

PB - Association for Computing Machinery

T2 - 10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1991

Y2 - 29 May 1991 through 31 May 1991

ER -

Inference of inequality constraints in logic programs

Publication series

Conference

Access to Document

Other files and links

Cite this