%0 Journal Article %1 journals/tocl/RudderP21 %A de Rudder, Laurent %A Palmigiano, Alessandra %D 2021 %J ACM Trans. Comput. Log. %K dblp %N 3 %P 18:1-18:41 %T Slanted Canonicity of Analytic Inductive Inequalities. %U http://dblp.uni-trier.de/db/journals/tocl/tocl22.html#RudderP21 %V 22

@article{journals/tocl/RudderP21, added-at = {2022-10-02T00:00:00.000+0200}, author = {de Rudder, Laurent and Palmigiano, Alessandra}, biburl = {https://www.bibsonomy.org/bibtex/25b841e71a13014bef23441af83973225/dblp}, ee = {https://doi.org/10.1145/3460973}, interhash = {f170c176a36298a13fab464215e5c1ec}, intrahash = {5b841e71a13014bef23441af83973225}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 3, pages = {18:1-18:41}, timestamp = {2024-04-08T12:38:30.000+0200}, title = {Slanted Canonicity of Analytic Inductive Inequalities.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl22.html#RudderP21}, volume = 22, year = 2021 }