View in EDS HTML Full Text PDF Full Text

Herbrand schemes for cyclic proofs.

Saved in:

Bibliographic Details
Title:	Herbrand schemes for cyclic proofs.
Authors:	Afshari, Bahareh¹, Enqvist, Sebastian², Leigh, Graham E¹
Source:	Journal of Logic & Computation; Jun2025, Vol. 35 Issue 4, p1-54, 54p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exaf013