Exact Complexity of the Satisfiability Problem for Strategy Logic

From MaRDI portal

MaRDI QIDQ7352586arXivFDO

Authors Tikhon Pshenitsyn

Publication date 2026

Published in arXiv


arXiv classification

math.LO















This page was built for publication: Exact Complexity of the Satisfiability Problem for Strategy Logic

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

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