A Space-and-Time-Efficient Codeing Algorithm for Lattice Computations.

@article{DBLP:journals/tkde/GangulyMR94,
  author    = {Deb Dutta Ganguly and
               Chilukuri K. Mohan and
               Sanjay Ranka},
  title     = {A Space-and-Time-Efficient Codeing Algorithm for Lattice Computations},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {6},
  number    = {5},
  year      = {1994},
  pages     = {819-829},
  ee        = {db/journals/tkde/GangulyMR94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1994 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

Hassan Aït-Kaci: An Algebraic Semantics Approach to the Effective Resolution of Type Equations. Theor. Comput. Sci. 45(3): 293-351(1986) BibTeX

[2]

Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr: Efficient Implementation of Lattice Operations. ACM Trans. Program. Lang. Syst. 11(1): 115-146(1989) BibTeX

[3]

...

[4]

Michael Kifer, V. S. Subrahmanian: Theory of Generalized Annotated Logic Programming and its Applications. J. Log. Program. 12(3&4): 335-367(1992) BibTeX

[5]

...

Referenced by

1. Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati: Minimal Data Upgrading to Prevent Inference and Association. PODS 1999: 114-125