Learning algorithms versus automatability of Frege systems.

Saved in:

Bibliographic Details
Title:	Learning algorithms versus automatability of Frege systems.
Authors:	Pich, Ján¹ (AUTHOR) jan.pich@cs.ox.ac.uk, Santhanam, Rahul¹ (AUTHOR) rahul.santhanam@cs.ox.ac.uk
Source:	Journal of Mathematical Logic. Aug2026, Vol. 26 Issue 2, p1-35. 35p.
Database:	Mathematics Source

Description
ISSN:	02190613
DOI:	10.1142/S0219061325500023