Implementing and Reasoning About Hash-consed Data Structures in Coq

Overview of attention for article published in Journal of Automated Reasoning, June 2014

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 5 X posts from 5 X users, with an upper bound of 7,915 followers.

Implementing and reasoning about hash-consed data structures in Coq http://t.co/5iRoTcQJDI

Implementing and reasoning about hash-consed data structures in Coq. (arXiv:1311.2959v4 [cs.LO] UPDATED) http://t.co/FYznhHyZh3

Implementing and reasoning about hash-consed data structures in Coq « cs.DS updates on http://t.co/dL0owc060F: http://t.co/zLmdSdMeoV

Implementing and reasoning about hash-consed data structures in Coq. (arXiv:1311.2959v1 [cs.LO]) http://t.co/vnrdc3HCTu

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

Click here to find out how to access more activity, including 1 additional X posts.