Bird–Meertens formalism (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Bird–Meertens formalism" in English language version.

refsWebsite

Global rank English rank

485^th place

440^th place

2^nd place

2^nd place

7,448^th place

9,770^th place

doi.org

Bird 1989, Sect.8, p.126r. Bird, Richard S. (1989). "Algebraic Identities for Program Calculation" (PDF). The Computer Journal. 32 (2): 122–126. doi:10.1093/comjnl/32.2.122.
Bird 1989, Sect.2, p.123l. Bird, Richard S. (1989). "Algebraic Identities for Program Calculation" (PDF). The Computer Journal. 32 (2): 122–126. doi:10.1093/comjnl/32.2.122.
Bird 1989, Sect.7, Lem.1, p.125l. Bird, Richard S. (1989). "Algebraic Identities for Program Calculation" (PDF). The Computer Journal. 32 (2): 122–126. doi:10.1093/comjnl/32.2.122.
Bird 1989, Sect.5, p.124r. Bird, Richard S. (1989). "Algebraic Identities for Program Calculation" (PDF). The Computer Journal. 32 (2): 122–126. doi:10.1093/comjnl/32.2.122.

oup.com

academic.oup.com

Bird 1989, Sect.8, p.126r. Bird, Richard S. (1989). "Algebraic Identities for Program Calculation" (PDF). The Computer Journal. 32 (2): 122–126. doi:10.1093/comjnl/32.2.122.
Bird 1989, Sect.2, p.123l. Bird, Richard S. (1989). "Algebraic Identities for Program Calculation" (PDF). The Computer Journal. 32 (2): 122–126. doi:10.1093/comjnl/32.2.122.
Bird 1989, Sect.7, Lem.1, p.125l. Bird, Richard S. (1989). "Algebraic Identities for Program Calculation" (PDF). The Computer Journal. 32 (2): 122–126. doi:10.1093/comjnl/32.2.122.
Bird 1989, Sect.5, p.124r. Bird, Richard S. (1989). "Algebraic Identities for Program Calculation" (PDF). The Computer Journal. 32 (2): 122–126. doi:10.1093/comjnl/32.2.122.

tum.de

www21.in.tum.de

Ursula Martin; Tobias Nipkow (Apr 1990). "Automating Squiggol". In Manfred Broy; Cliff B. Jones (eds.). Proc. IFIP WG 2.2/2.3 Working Conference on Programming Concepts and Methods. North-Holland. pp. 233–247.