Classical Proofs as Parallel Programs (bibtex)
by Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Reference:
Classical Proofs as Parallel ProgramsFederico Aschieri, Agata Ciabattoni, Francesco A. GencoProceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pages 43–57, 2018.
Bibtex Entry:
@inproceedings{DBLP:journals/corr/abs-1809-03094,
  author    = {Federico Aschieri and
               Agata Ciabattoni and
               Francesco A. Genco},
  title     = {Classical Proofs as Parallel Programs},
  booktitle = {Proceedings Ninth International Symposium on Games,
                  Automata, Logics, and Formal Verification, GandALF
                  2018, Saarbr{\"{u}}cken, Germany, 26-28th September
                  2018.},
  pages     = {43--57},
  year      = {2018},
  url       = {https://doi.org/10.4204/EPTCS.277.4},
  doi       = {10.4204/EPTCS.277.4}
}
Powered by bibtexbrowser