Relational Transducers for Electronic Commerce

On a Problem of Formal Logic

Frank Plumpton Ramsey · Proceedings of the London Mathematical Society · 1930 · 1.9K citations

Humanities, Computer Science, Formal Methods +11

Foundations of databases

Choice Reviews Online · 1995 · 1.8K citations

Handbook of theoretical computer science

D.B. Czerbo · Artificial Intelligence in Medicine · 1992 · 341 citations

Computing, Computer Science, Computational Chemistry +8

Complexity results for classes of quantificational formulas

Harry R. Lewis · Journal of Computer and System Sciences · 1980 · 208 citations

Computing, Computer Science, Mathematics +14

The Implication Problem for Functional and Inclusion Dependencies is Undecidable

Ashok K. Chandra, Moshe Y. Vardi · SIAM Journal on Computing · 1985 · 180 citations

Natural Sciences, Computer Science, Mathematics +6