Operational pointer semantics: solution to self-referential puzzles. I

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

Original language	English
Title of host publication	Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge (Pacific Grove, CA, 1988)
Publisher	Morgan Kaufmann
Pages	43-59
Number of pages	17
ISBN (Print)	0-934613-66-4
State	Published - 1988

Access to Document

@inproceedings{3faee827ceb24877a8a954e3ce0b3dd5,

title = "Operational pointer semantics: solution to self-referential puzzles. I",

author = "Haim Gaifman",

year = "1988",

language = "אנגלית",

isbn = "0-934613-66-4",

pages = "43--59",

booktitle = "Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge (Pacific Grove, CA, 1988)",

publisher = "Morgan Kaufmann",

}

TY - GEN

T1 - Operational pointer semantics: solution to self-referential puzzles. I

AU - Gaifman, Haim

PY - 1988

Y1 - 1988

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

SN - 0-934613-66-4

SP - 43

EP - 59

BT - Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge (Pacific Grove, CA, 1988)

PB - Morgan Kaufmann

ER -