Page 1 of 1.
Mihai Codescu; Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe
In: Narciso Martí-Oliet; Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International …