tag : computer science
1 pubblicazione
On the Unusual Effectiveness of Logic in Computer Science (Bulletin of Symbolic Logic, 2001) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu On the Unusual Effectiveness of Logic in Computer Science (Bulletin of Symbolic Logic, 2001) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu