On the unusual effectiveness of logic in computer science
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
COinS