Volume 40; Issue 1

Journal of the ACM

Volume 40; Issue 1
1

A framework for defining logics

Harper, Robert, Honsell, Furio, Plotkin, Gordon
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 2.56 MB
english, 1993
2

Perfectly secure message transmission

Dolev, Danny, Dwork, Cynthia, Waarts, Orli, Yung, Moti
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 2.31 MB
english, 1993
4

The minimum consistent DFA problem cannot be approximated within any polynomial

Pitt, Leonard, Warmuth, Manfred K.
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 3.28 MB
english, 1993
5

Learning read-once formulas with queries

Angluin, Dana, Hellerstein, Lisa, Karpinski, Marek
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 1.88 MB
english, 1993
6

Generating automatically tuned bitmaps from outlines

Hobby, John D.
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 2.97 MB
english, 1993