Frege Systems for Quantified Boolean Logic.

Saved in:

Bibliographic Details
Title:	Frege Systems for Quantified Boolean Logic.
Authors:	BEYERSDORFF, OLAF¹, BONACINA, ILARIO², CHEW, LEROY¹, PICH, JAN¹
Source:	Journal of the ACM. Mar2020, Vol. 67 Issue 2, p1-36. 36p.
Database:	Mathematics Source

Description
ISSN:	00045411
DOI:	10.1145/3381881