Program equivalence by circular reasoning

Overview of attention for article published in Formal Aspects of Computing, November 2014

Altmetric Badge

About this Attention Score

In the top 25% of all research outputs scored by Altmetric
One of the highest-scoring outputs from this source (#4 of 132)
Good Attention Score compared to outputs of the same age (78th percentile)

Mentioned by

twitter: 1 X user

patent: 2 patents

Readers on

mendeley: 4 Mendeley

Summary X Patents

So far, Altmetric has seen 2 patents that reference this research output.

COMPUTER IMPLEMENTED METHOD, COMPUTER PROGRAM PRODUCT, COMPUTER-READABLE STORAGE MEDIUM…

Application WO-2023218684-A1

World Intellectual Property Organisation (WIPO)

METHOD AND SYSTEM FOR PROVING AN ABSENCE OF DIFFERENCE IN THE RESPECTIVE BEHAVIORS OF A…

Application EP-4276612-A1

European Patent Office

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

Click here to find out how to access more activity.