On unification of QBF resolution-based calculi

Beyersdorff, O, Chew, L and Janota, M (2014) On unification of QBF resolution-based calculi. In: Csuhaj-Varjú, E, Dietzfelbinger, M and Ésik, Z, (eds.) Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Part II, Proceedings. 39th International Symposium, MFCS 2014, 25-29 Aug 2014, Budapest, Hungary. Springer , 81 - 93. ISBN 978-3-662-44464-1

Abstract

Metadata

Authors/Creators:
  • Beyersdorff, O
  • Chew, L
  • Janota, M
Copyright, Publisher and Additional Information: © 2014, Springer. This is an author produced version of a paper published in Mathematical Foundations of Computer Science 2014. Uploaded in accordance with the publisher's self-archiving policy. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44465-8_8
Dates:
  • Published: 2014
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Institute for Computational and Systems Science (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 14 Oct 2014 12:14
Last Modified: 19 Dec 2022 13:28
Published Version: http://dx.doi.org/10.1007/978-3-662-44465-8_8
Status: Published
Publisher: Springer
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-662-44465-8_8

Export

Statistics


CORE (COnnecting REpositories)