Fully abstract compositional semantics for logic programs

Haim Gaifman; Ehud Shapiro

doi:10.1145/75277.75289

Fully abstract compositional semantics for logic programs

Haim Gaifman^*, Ehud Shapiro

^*Corresponding author for this work

Einstein Institute of Mathematics

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

69 Scopus citations

Original language	English
Title of host publication	Conf Rec Sixteenth Annu ACM Symp Princ Program Lang
Publisher	Publ by ACM
Pages	134-142
Number of pages	9
ISBN (Print)	0897912942, 9780897912945
DOIs	https://doi.org/10.1145/75277.75289
State	Published - 1989
Event	Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages - Austin, TX, USA Duration: 11 Jan 1989 → 13 Jan 1989

Publication series

Name	Conf Rec Sixteenth Annu ACM Symp Princ Program Lang

Conference

Conference	Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages
City	Austin, TX, USA
Period	11/01/89 → 13/01/89

Access to Document

10.1145/75277.75289

Cite this

@inproceedings{9c2e09b5fa354d2e83224297c59818b6,

title = "Fully abstract compositional semantics for logic programs",

author = "Haim Gaifman and Ehud Shapiro",

year = "1989",

doi = "10.1145/75277.75289",

language = "אנגלית",

isbn = "0897912942",

series = "Conf Rec Sixteenth Annu ACM Symp Princ Program Lang",

publisher = "Publ by ACM",

pages = "134--142",

booktitle = "Conf Rec Sixteenth Annu ACM Symp Princ Program Lang",

note = "Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages ; Conference date: 11-01-1989 Through 13-01-1989",

}

Gaifman, H & Shapiro, E 1989, Fully abstract compositional semantics for logic programs. in Conf Rec Sixteenth Annu ACM Symp Princ Program Lang. Conf Rec Sixteenth Annu ACM Symp Princ Program Lang, Publ by ACM, pp. 134-142, Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, TX, USA, 11/01/89. https://doi.org/10.1145/75277.75289

TY - GEN

T1 - Fully abstract compositional semantics for logic programs

AU - Gaifman, Haim

AU - Shapiro, Ehud

PY - 1989

Y1 - 1989

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

U2 - 10.1145/75277.75289

DO - 10.1145/75277.75289

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

AN - SCOPUS:0024860819

SN - 0897912942

SN - 9780897912945

T3 - Conf Rec Sixteenth Annu ACM Symp Princ Program Lang

SP - 134

EP - 142

BT - Conf Rec Sixteenth Annu ACM Symp Princ Program Lang

PB - Publ by ACM

T2 - Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages

Y2 - 11 January 1989 through 13 January 1989

ER -

Fully abstract compositional semantics for logic programs

Publication series

Conference

Access to Document

Other files and links

Cite this