OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
Verification of dynamic bisimulation theorems in Coq
Raul Fervari, Francisco Trucco, Beta Ziliani
Journal of Logical and Algebraic Methods in Programming (2021) Vol. 120, pp. 100642-100642
Closed Access | Times Cited: 3
Raul Fervari, Francisco Trucco, Beta Ziliani
Journal of Logical and Algebraic Methods in Programming (2021) Vol. 120, pp. 100642-100642
Closed Access | Times Cited: 3
Showing 3 citing articles:
A Machine Proof System of Point Geometry Based on Coq
Siran Lei, Hao Guan, JianâGuo Jiang, et al.
Mathematics (2023) Vol. 11, Iss. 12, pp. 2757-2757
Open Access | Times Cited: 7
Siran Lei, Hao Guan, JianâGuo Jiang, et al.
Mathematics (2023) Vol. 11, Iss. 12, pp. 2757-2757
Open Access | Times Cited: 7
To be announced
Hans van Ditmarsch
Information and Computation (2023) Vol. 292, pp. 105026-105026
Open Access | Times Cited: 5
Hans van Ditmarsch
Information and Computation (2023) Vol. 292, pp. 105026-105026
Open Access | Times Cited: 5
