%0 Journal Article %1 journals/fm/KuleszaG20 %A Kulesza, Dominik %A Grabowski, Adam %D 2020 %J Formaliz. Math. %K dblp %N 2 %P 217-225 %T Formalization of Quasilattices. %U http://dblp.uni-trier.de/db/journals/fm/fm28.html#KuleszaG20 %V 28

@article{journals/fm/KuleszaG20, added-at = {2021-12-15T00:00:00.000+0100}, author = {Kulesza, Dominik and Grabowski, Adam}, biburl = {https://www.bibsonomy.org/bibtex/2fd6a15fe0262d53a2aeb6707fe1a31bd/dblp}, ee = {https://doi.org/10.2478/forma-2020-0019}, interhash = {7a8f0c9d2f03d6419406e4d2d4b76d04}, intrahash = {fd6a15fe0262d53a2aeb6707fe1a31bd}, journal = {Formaliz. Math.}, keywords = {dblp}, number = 2, pages = {217-225}, timestamp = {2024-04-08T14:26:25.000+0200}, title = {Formalization of Quasilattices.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm28.html#KuleszaG20}, volume = 28, year = 2020 }