External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proof Search and Certificates for Evidential Transactions

Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess. Proof Search and Certificates for Evidential Transactions. In André Platzer, Geoff Sutcliffe, editors, Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. Volume 12699 of Lecture Notes in Computer Science, pages 234-251, Springer, 2021. [doi]

Authors

Vivek Nigam

This author has not been identified. Look up 'Vivek Nigam' in Google

Giselle Reis

This author has not been identified. Look up 'Giselle Reis' in Google

Samar Rahmouni

This author has not been identified. Look up 'Samar Rahmouni' in Google

Harald Ruess

This author has not been identified. Look up 'Harald Ruess' in Google
runs on