Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
Search
En
It
APICe login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
Wiki Index
Publication
On the Unusual Effectiveness of Logic in Computer Science
On the Unusual Effectiveness of Logic in Computer Science
Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
Bulletin of Symbolic Logic
7(2), pages 213–236
June 2001
journal or series
Bulletin of Symbolic Logic
(
BullSymLog
)