Foundations of Software Science and Computation Structures

Overview of attention for book

Springer International Publishing

Attention for Chapter: Focused Proof-search in the Logic of Bunched Implications

Altmetric Badge

Mentioned by

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

Open Access UCL Research: Focused Proof-search in the Logic of Bunched Implications - UCL Discovery https://t.co/BEfv9PHHWo

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

Click here to find out how to access more activity.