Least fixed point (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Least fixed point" in English language version.

refsWebsite

Global rank English rank

2^nd place

low place

9,042^nd place

5,814^th place

5^th place

chargueraud.org

Charguéraud, Arthur (2010). "The Optimal Fixed Point Combinator" (PDF). Interactive Theorem Proving. 6172: 195–210. doi:10.1007/978-3-642-14052-5_15. Retrieved 30 October 2021.

Immerman, Neil (1982). "Relational Queries Computable in Polynomial Time". STOC '82: Proceedings of the fourteenth annual ACM symposium on Theory of computing. pp. 147–152. doi:10.1145/800070.802187. Revised version in Information and Control, 68 (1986), 86–104.
Vardi, Moshe Y. (1982). "The Complexity of Relational Query Languages". STOC '82: Proceedings of the fourteenth annual ACM symposium on Theory of computing. pp. 137–146. doi:10.1145/800070.802186.
Charguéraud, Arthur (2010). "The Optimal Fixed Point Combinator" (PDF). Interactive Theorem Proving. 6172: 195–210. doi:10.1007/978-3-642-14052-5_15. Retrieved 30 October 2021.

Shamir, Adi (October 1976). The fixedpoints of recursive definitions (Ph.D. thesis). Weizmann Institute of Science. OCLC 884951223. Here: Example 12.1, pp. 12.2–3

Shamir, Adi (October 1976). The fixedpoints of recursive definitions (Ph.D. thesis). Weizmann Institute of Science. OCLC 884951223. Here: Example 12.1, pp. 12.2–3