View in EDS PDF Full Text

THE COMPLEXITY OF SECOND-ORDER HYPERLTL.

Saved in:
Bibliographic Details
Title: THE COMPLEXITY OF SECOND-ORDER HYPERLTL.
Authors: FRENKEL, HADAR1, hadar.frenkel@biu.ac.il, REGAUD, GAËTAN2, gaetan.regaud@ens-rennes.fr, ZIMMERMANN, MARTIN3, mzi@cs.aau.dk
Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p26:1-26:54, 54p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-22(1:26)2026