Victor Vianu (vianu-v)

Beiträge zu Philosophie.ch

Bibliography

Abiteboul, Serge, Hull, Richard D. and Vianu, Victor. 1995. Foundations of Databases. Reading, Massachusetts: Addison-Wesley.
Halpern, Joseph Y., Harper, Robert A., Immerman, Neil, Kolaitis, Phokion G., Vardi, Moshe Y. and Vianu, Victor. 2001. “On the Unusual Effectiveness of Logic in Computer Science.” The Bulletin of Symbolic Logic 7(2): 213–236.