Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo. Explicit Hopcroft's Trick in Categorical Partition Refinement. In Barbara König 0001, Henning Urbat, editors, Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings. Volume 14617 of Lecture Notes in Computer Science, pages 135-155, Springer, 2024. [doi]
Abstract is missing.