Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

Proof Search and Certificates for Evidential Transactions

Vivek Nigam, Giselle Reis, Samar Rahmouni, and Harald Ruess. Proof Search and Certificates for Evidential Transactions. In Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 234–251, Lecture Notes in Computer Science 12699, Springer, 2021.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

@inproceedings{nigam21cade,
  author    = {Vivek Nigam and
               Giselle Reis and
               Samar Rahmouni and
               Harald Ruess},
  editor    = {Andr{\'{e}} Platzer and
               Geoff Sutcliffe},
  title     = {Proof Search and Certificates for Evidential Transactions},
  booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
               Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12699},
  pages     = {234--251},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-79876-5\_14},
  doi       = {10.1007/978-3-030-79876-5\_14},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "/docs/cade21.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57