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.

First-order quantified separators

Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken. First-order quantified separators. In Alastair F. Donaldson, Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. pages 703-717, ACM, 2020. [doi]

Authors

Jason R. Koenig

This author has not been identified. Look up 'Jason R. Koenig' in Google

Oded Padon

This author has not been identified. Look up 'Oded Padon' in Google

Neil Immerman

This author has not been identified. Look up 'Neil Immerman' in Google

Alex Aiken

This author has not been identified. Look up 'Alex Aiken' in Google
runs on