Dylan Bellier, Massimo Benerecetti, Fabio Mogavero, Sophie Pinchinat. Plan Logic. In Siddharth Barman, Slawomir Lasota 0001, editors, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2024, December 16-18, 2024, Gandhinagar, Gujarat, India. Volume 323 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.