Computing With First-Order Logic (1995)

Cached

Download Links

by Serge Abiteboul , Victor Vianu
Citations:53 - 13 self

Document Versions

Computing With First-Order Logic –Serge Abiteboul, Victor Vianu — 1995
Computing With First-Order Logic –Serge Abiteboul, Victor Vianu — 1995 — Journal of Computer and System Sciences