A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

Overview of attention for article published in Journal of Logical and Algebraic Methods in Programming, January 2023

Altmetric Badge

Mentioned by

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

Open Access UCL Research: A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems https://t.co/rTz72ErK1R

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

Click here to find out how to access more activity.