UNIVERSAL QUANTIFICATION MAKES AUTOMATIC STRUCTURES HARD TO DECIDE.

Saved in:

Bibliographic Details
Title:	UNIVERSAL QUANTIFICATION MAKES AUTOMATIC STRUCTURES HARD TO DECIDE.
Authors:	HAASE, CHRISTOPH¹, PIÓRKOWSKI, RADOSŁAW^1,2
Source:	Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p14:1-14:24, 24p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.46298/LMCS-22(1:14)2026