Nuprl Definition : encryption-key
Key == Id + Atom1 + Atom1
Definitions occuring in Statement :
Id: Id,
atom: Atom$n,
union: left + right
FDL editor aliases :
ekey
Latex:
Key == Id + Atom1 + Atom1
Date html generated:
2016_05_17-AM-11_40_12
Last ObjectModification:
2012_08_30-PM-02_30_14
Theory : event-logic-applications
Home
Index