Formalization of Quasilattices
Publié en ligne: 09 janv. 2021
Pages: 217 - 225
Accepté: 31 mai 2020
© 2020 Dominik Kulesza et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.