Galois connection (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Galois connection" in English language version.

refsWebsite

Global rank English rank

3worldcat.org

5^th place

2doi.org

2^nd place

2ens.fr

6,325^th place

8,806^th place

1arxiv.org

69^th place

59^th place

1mta.ca

low place

1logicmatters.net

low place

1sciencedirect.com

149^th place

178^th place

1semanticscholar.org

11^th place

8^th place

1web.archive.org

1^st place

1psu.edu

207^th place

136^th place

arxiv.org

Bistarelli, Stefano (2004). "8. Soft Concurrent Constraint Programming". Semirings for Soft Constraint Solving and Programming. Lecture Notes in Computer Science. Vol. 2962. Springer-Verlag. p. 102. arXiv:cs/0208008. doi:10.1007/978-3-540-25925-1_8. ISBN 3-540-21181-0. ISSN 0302-9743.

doi.org

Bistarelli, Stefano (2004). "8. Soft Concurrent Constraint Programming". Semirings for Soft Constraint Solving and Programming. Lecture Notes in Computer Science. Vol. 2962. Springer-Verlag. p. 102. arXiv:cs/0208008. doi:10.1007/978-3-540-25925-1_8. ISBN 3-540-21181-0. ISSN 0302-9743.
Liaw, Tsong-Ming; Lin, Simon C. (2020-10-12). "A general theory of concept lattice with tractable implication exploration". Theoretical Computer Science. 837: 84–114. doi:10.1016/j.tcs.2020.05.014. ISSN 0304-3975. S2CID 219514253. Archived from the original on 2020-05-28. Retrieved 2023-07-19.

ens.fr

di.ens.fr

Patrick Cousot; Radhia Cousot (Jan 1977). "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints" (PDF). Proc. 4th ACM Symposium on Principles of Programming Languages (POPL). pp. 238–252.
For a counterexample for the false theorem in Sect.7 (p.243 top right), see: Jochen Burghardt; Florian Kammüller; Jeff W. Sanders (Dec 2000). Isomorphism of Galois Embeddings (Technical report). Vol. 122. GMD. p. 9-14. ISSN 1435-2702. (However the original article only considers complete lattices)
Patrick Cousot; Radhia Cousot (Jan 1979). "Systematic Design of Program Analysis Frameworks" (PDF). Proc. 6th ACM Symp. on Principles of Programming Languages (POPL). ACM Press. pp. 269–282.

logicmatters.net

William Lawvere, Adjointness in foundations, Dialectica, 1969, available here. The notation is different nowadays; an easier introduction by Peter Smith in these lecture notes, which also attribute the concept to the article cited.

mta.ca

tac.mta.ca

William Lawvere, Adjointness in foundations, Dialectica, 1969, available here. The notation is different nowadays; an easier introduction by Peter Smith in these lecture notes, which also attribute the concept to the article cited.

psu.edu

citeseerx.ist.psu.edu

Patrick Cousot; Radhia Cousot (Jan 1977). "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints" (PDF). Proc. 4th ACM Symposium on Principles of Programming Languages (POPL). pp. 238–252.
For a counterexample for the false theorem in Sect.7 (p.243 top right), see: Jochen Burghardt; Florian Kammüller; Jeff W. Sanders (Dec 2000). Isomorphism of Galois Embeddings (Technical report). Vol. 122. GMD. p. 9-14. ISSN 1435-2702. (However the original article only considers complete lattices)

sciencedirect.com

Liaw, Tsong-Ming; Lin, Simon C. (2020-10-12). "A general theory of concept lattice with tractable implication exploration". Theoretical Computer Science. 837: 84–114. doi:10.1016/j.tcs.2020.05.014. ISSN 0304-3975. S2CID 219514253. Archived from the original on 2020-05-28. Retrieved 2023-07-19.

semanticscholar.org

api.semanticscholar.org

Liaw, Tsong-Ming; Lin, Simon C. (2020-10-12). "A general theory of concept lattice with tractable implication exploration". Theoretical Computer Science. 837: 84–114. doi:10.1016/j.tcs.2020.05.014. ISSN 0304-3975. S2CID 219514253. Archived from the original on 2020-05-28. Retrieved 2023-07-19.

web.archive.org

Liaw, Tsong-Ming; Lin, Simon C. (2020-10-12). "A general theory of concept lattice with tractable implication exploration". Theoretical Computer Science. 837: 84–114. doi:10.1016/j.tcs.2020.05.014. ISSN 0304-3975. S2CID 219514253. Archived from the original on 2020-05-28. Retrieved 2023-07-19.

worldcat.org

search.worldcat.org

Bistarelli, Stefano (2004). "8. Soft Concurrent Constraint Programming". Semirings for Soft Constraint Solving and Programming. Lecture Notes in Computer Science. Vol. 2962. Springer-Verlag. p. 102. arXiv:cs/0208008. doi:10.1007/978-3-540-25925-1_8. ISBN 3-540-21181-0. ISSN 0302-9743.
Liaw, Tsong-Ming; Lin, Simon C. (2020-10-12). "A general theory of concept lattice with tractable implication exploration". Theoretical Computer Science. 837: 84–114. doi:10.1016/j.tcs.2020.05.014. ISSN 0304-3975. S2CID 219514253. Archived from the original on 2020-05-28. Retrieved 2023-07-19.
Patrick Cousot; Radhia Cousot (Jan 1977). "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints" (PDF). Proc. 4th ACM Symposium on Principles of Programming Languages (POPL). pp. 238–252.
For a counterexample for the false theorem in Sect.7 (p.243 top right), see: Jochen Burghardt; Florian Kammüller; Jeff W. Sanders (Dec 2000). Isomorphism of Galois Embeddings (Technical report). Vol. 122. GMD. p. 9-14. ISSN 1435-2702. (However the original article only considers complete lattices)