SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Effieient Implementation of Lattice Operations
 by Dr. Patrick Lincoln, Hassan Ait-Kaci, Robert Boyer & Roger Nasr.

From TOPLAS.
November, 1989.


BibTEX Entry
@inproceedings{toplas89,
    AUTHOR = {Hassan Ait-Kaci and Robert Boyer and Patrick Lincoln and and Roger Nasr},
    TITLE = {Effieient Implementation of Lattice Operations},
    BOOKTITLE = {{TOPLAS}},
    YEAR = {1989},
    MONTH = {November},
    URL = {http://www.csl.sri.com/papers/toplas89/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy