Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing

From MaRDI portal

DOI10.1093/JIGPAL/JZAE078MaRDI QIDQ6462549zbMATH OpenFDO

Authors Tikhon Pshenitsyn

Publication date 7 December 2023

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAE078

















This page was built for publication: Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6462549)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Hyperarithmetical_Complexity_of_Infinitary_Action_Logic_with_Multiplexing&oldid=103419155"
Powered by MediaWiki