Algebra and Logic

Proceedings Paper
Lago,UD;Kahle,R;Oitavem,I
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia.

LIPIcs
2021
202

35:1-35:12
10.4230/lipics.mfcs.2021.35