On the unusual effectiveness of logic in computer science

Authors

JY Halpern
R Harper
N Immerman
PG Kolaitis
MY Vardi
V Vianu

Publication Date

2001

Journal or Book Title

BULLETIN OF SYMBOLIC LOGIC

Pages

213-236

Volume

7

Issue

2

Recommended Citation

Halpern, JY; Harper, R; Immerman, N; Kolaitis, PG; Vardi, MY; and Vianu, V, "On the unusual effectiveness of logic in computer science" (2001). BULLETIN OF SYMBOLIC LOGIC. 574.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/574