Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero. Good-for-Game QPTL: An Alternating Hodges Semantics. ACM Trans. Comput. Log., 24(1), January 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.