Victor Vianu

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

On the unusual effectiveness of logic in computer science

Joseph Y. Halpern and others (2001) · Bulletin of Symbolic Logic

Databases and finite-model theory

Victor Vianu (1997) · Descriptive Complexity and Finite Models · American Mathematical Society

Foundations of Databases

Serge Abiteboul and others (1995) · Addison-Wesley

Generic Computation and its complexity

Serge Abiteboul and others (1991) · ACM Symposium on Theory of Computing (STOC)