%0 Journal Article %1 journals/lmcs/Antic24 %A Antic, Christian %D 2024 %J Log. Methods Comput. Sci. %K dblp %N 2 %T Boolean proportions. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs20.html#Antic24 %V 20

@article{journals/lmcs/Antic24, added-at = {2024-04-29T00:00:00.000+0200}, author = {Antic, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2020a2f2f887beb7f2cc6c01e3f6e3d43/dblp}, ee = {https://doi.org/10.46298/lmcs-20(2:1)2024}, interhash = {cf95518f0fba4096f1b8ffc628153f85}, intrahash = {020a2f2f887beb7f2cc6c01e3f6e3d43}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 2, timestamp = {2024-05-06T07:11:39.000+0200}, title = {Boolean proportions.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs20.html#Antic24}, volume = 20, year = 2024 }