%0 Conference Paper %1 conf/lics/DagninoP22 %A Dagnino, Francesco %A Pasquali, Fabio %B LICS %D 2022 %E Baier, Christel %E Fisman, Dana %I ACM %K dblp %P 16:1-16:13 %T Logical Foundations of Quantitative Equality. %U http://dblp.uni-trier.de/db/conf/lics/lics2022.html#DagninoP22 %@ 978-1-4503-9351-5

@inproceedings{conf/lics/DagninoP22, added-at = {2022-08-09T00:00:00.000+0200}, author = {Dagnino, Francesco and Pasquali, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/202dba9614ab821834a3ade92c61839d7/dblp}, booktitle = {LICS}, crossref = {conf/lics/2022}, editor = {Baier, Christel and Fisman, Dana}, ee = {https://doi.org/10.1145/3531130.3533337}, interhash = {8af839cb85d2dd1d063558eb9557d9de}, intrahash = {02dba9614ab821834a3ade92c61839d7}, isbn = {978-1-4503-9351-5}, keywords = {dblp}, pages = {16:1-16:13}, publisher = {ACM}, timestamp = {2024-04-09T13:16:55.000+0200}, title = {Logical Foundations of Quantitative Equality.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2022.html#DagninoP22}, year = 2022 }