Logic-Based Program Synthesis and Transformation

Overview of attention for book

Springer International Publishing

Attention for Chapter: Generating Functions for Probabilistic Programs

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 2,561 followers.

Open Access UCL Research: Generating Functions for Probabilistic Programs https://t.co/Kx6Gx2SgsJ

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.