On the unusual effectiveness of logic in computer science
The work
| Title | On the unusual effectiveness of logic in computer science |
|---|---|
| Authors | Joseph Y. Halpern; Robert Harper; Neil Immerman; Phokion G. Kolaitis; Moshe Y. Vardi; Victor Vianu |
| Type | article |
| Year | 2001 |
| Citekey | halpern2001unusual |
Where it appeared
| Published in | Bulletin of Symbolic Logic |
|---|---|
| Volume | 7 |
| Issue | 2 |
| Pages | 213--236 |
Copy held
| Kind | PDF, 535.4 kB |
|---|---|
| Retrieved | 2026-08-08 |
| Held | local, for personal reference |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-08 |
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.