On the Decision Problem for Two-Variable First-Order Logic (1997)

Cached

Download Links

by Erich Grädel , Phokion G. Kolaitis , Moshe Y. Vardi
Citations:48 - 1 self

Document Versions

On the Decision Problem for Two-Variable First-Order Logic –Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi — 1997
On the Decision Problem for Two-Variable First-Order Logic –Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi — 1997 — BULLETIN OF SYMBOLIC LOGIC