On the unusual effectiveness of logic in computer science
The work
| Authors | Joseph Y. Halpern; Robert Harper; Neil Immerman; Phokion G. Kolaitis; Moshe Y. Vardi; Victor Vianu |
|---|---|
| Editors | |
| Type | article |
| Year | 2001 |
| Citekey | halpern2001unusual |
Where it appeared
| Published in | Bulletin of Symbolic Logic |
|---|---|
| Volume | 7 |
| Issue | 2 |
| Pages | 213--236 |
Settled
| Abstract | Established by reading and recorded in a note on this record, but never written into the field, so the queue went on asking. The note says: "No abstract: the venue prints none for this piece." This settle puts that finding where the queue can see it. |
|---|
A copy is held
pdf, 522.9 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-08 14:57 UTC |
Cite it as
@article{halpern2001unusual,
title = {On the unusual effectiveness of logic in computer science},
author = {Joseph Y. Halpern and Robert Harper and Neil Immerman and Phokion G. Kolaitis and Moshe Y. Vardi and Victor Vianu},
year = {2001},
journal = {Bulletin of Symbolic Logic},
volume = {7},
number = {2},
pages = {213--236},
}
This record lives at https://refs.drheap.org/halpern2001unusual/ and will keep doing so.