|
Journals in DBLP
J. ACM 1993, volume: 40, number: 1
- Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder
An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time. [Citation Graph (0, 0)][DBLP] J. ACM, 1993, v:40, n:1, pp:1-16 [Journal]
- Danny Dolev, Cynthia Dwork, Orli Waarts, Moti Yung
Perfectly Secure Message Transmission. [Citation Graph (0, 0)][DBLP] J. ACM, 1993, v:40, n:1, pp:17-47 [Journal]
- John D. Hobby
Generating Automatically Tuned Bitmaps from Outlines. [Citation Graph (0, 0)][DBLP] J. ACM, 1993, v:40, n:1, pp:48-94 [Journal]
- Leonard Pitt, Manfred K. Warmuth
The Minimum Consistent DFA Problem Cannot be Approximated within any Polynomial. [Citation Graph (0, 0)][DBLP] J. ACM, 1993, v:40, n:1, pp:95-142 [Journal]
- Robert Harper, Furio Honsell, Gordon D. Plotkin
A Framework for Defining Logics. [Citation Graph (0, 0)][DBLP] J. ACM, 1993, v:40, n:1, pp:143-184 [Journal]
- Dana Angluin, Lisa Hellerstein, Marek Karpinski
Learning Read-Once Formulas with Queries. [Citation Graph (0, 0)][DBLP] J. ACM, 1993, v:40, n:1, pp:185-210 [Journal]
|