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.

Polynomial Analysis of Modular Arithmetic

Thomas Seed, Chris Coppins, Andy King, Neil Evans. Polynomial Analysis of Modular Arithmetic. In Manuel V. Hermenegildo, José F. Morales 0001, editors, Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Volume 14284 of Lecture Notes in Computer Science, pages 508-539, Springer, 2023. [doi]

Authors

Thomas Seed

This author has not been identified. Look up 'Thomas Seed' in Google

Chris Coppins

This author has not been identified. Look up 'Chris Coppins' in Google

Andy King

This author has not been identified. Look up 'Andy King' in Google

Neil Evans

This author has not been identified. Look up 'Neil Evans' in Google
runs on