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 |
Identifiers
| DOI | 10.2307/2687775 |
|---|
Empty on purpose
| abstract |
Related
| Distinct from | bardeen1948transistor |
|---|---|
| Distinct from | buchi1962decision |
| Distinct from | burch1992symbolic |
| Distinct from | clarke1981design |
| Distinct from | clarke1986automatic |
| Distinct from | hamming1980unreasonable |
| Distinct from | holzmann1997model |
| Distinct from | pnueli1977temporal |
| Distinct from | queille1982specification |
| Distinct from | vardi1986automatatheoretic |
| Distinct from | vardi1994reasoning |
| Distinct from | wigner1960unreasonable |
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-09-23 14:08 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},
doi = {10.2307/2687775},
}
This record lives at https://refs.drheap.org/halpern2001unusual/ and will keep doing so.