Soundness and Completeness Proofs by Coinductive Methods

Overview of attention for article published in Journal of Automated Reasoning, October 2016

Altmetric Badge

About this Attention Score

Average Attention Score compared to outputs of the same age

Mentioned by

twitter: 2 X users

Citations

dimensions_citation: 20 Dimensions

Readers on

mendeley: 7 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 1,018 followers.

@OwoTizusa Blanchette, J.C., Popescu, A. & Traytel, D. Soundness and Completeness Proofs by Coinductive Methods. J Autom Reasoning 58, 149–179 (2017). https://t.co/AohVMO1j8s

25 Jan 2022

Reply Repost Favourite

Soundness and Completeness Proofs by Coinductive Methods | SpringerLink https://t.co/hFJek1dZmj

29 Jun 2018

Reply Repost Favourite