Decidability of a Sound Set of Inference Rules for Computational Indistinguishability (bibtex)
by Adrien Koutsos
Reference:
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability (Adrien Koutsos), In ACM Trans. Comput. Log., volume 22, 2021.
Bibtex Entry:
@article{DBLP:journals/tocl/Koutsos21,
  author    = {Adrien Koutsos},
  title     = {Decidability of a Sound Set of Inference Rules for Computational Indistinguishability},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {22},
  number    = {1},
  pages     = {3:1--3:44},
  year      = {2021}
}
Powered by bibtexbrowser