View in EDS PDF Full Text

Frege Systems for Quantified Boolean Logic.

Saved in:
Bibliographic Details
Title: Frege Systems for Quantified Boolean Logic.
Authors: BEYERSDORFF, OLAF1, BONACINA, ILARIO2, CHEW, LEROY1, PICH, JAN1
Source: Journal of the ACM. Mar2020, Vol. 67 Issue 2, p1-36. 36p.
Database: Mathematics Source
Be the first to leave a comment!
You must be logged in first