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.

Kleene algebra modulo theories: a framework for concrete KATs

Michael Greenberg 0002, Ryan Beckett, Eric Hayden Campbell. Kleene algebra modulo theories: a framework for concrete KATs. In Ranjit Jhala, Isil Dillig, editors, PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022. pages 594-608, ACM, 2022. [doi]

Authors

Michael Greenberg 0002

This author has not been identified. Look up 'Michael Greenberg 0002' in Google

Ryan Beckett

This author has not been identified. Look up 'Ryan Beckett' in Google

Eric Hayden Campbell

This author has not been identified. Look up 'Eric Hayden Campbell' in Google
runs on