tag : logic
2 publications
On the Unusual Effectiveness of Logic in Computer Science (article in journal, 2001) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu Foundations of Logic Programming (book, 1984) — John W. Lloyd