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.

On Unification of QBF Resolution-Based Calculi

Olaf Beyersdorff, Leroy Chew, Mikolas Janota. On Unification of QBF Resolution-Based Calculi. In Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik, editors, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II. Volume 8635 of Lecture Notes in Computer Science, pages 81-93, Springer, 2014. [doi]

Authors

Olaf Beyersdorff

This author has not been identified. Look up 'Olaf Beyersdorff' in Google

Leroy Chew

This author has not been identified. Look up 'Leroy Chew' in Google

Mikolas Janota

This author has not been identified. Look up 'Mikolas Janota' in Google
runs on