Difference between revisions of "Book/Galois Connections and Applications"
Jump to navigation
Jump to search
(Created page with "{{cite book |editor=K. Denecke |editor-link=K. Denecke |title=Galois Connections and Applications |url= |publisher=Kluwer Academic Publishing |location=local page |date=2004 }} <noinclude> Please also take a look at [[]]<ref>{{:Book/Principle of Abstract Interpretation}}</ref>. {{PagePostfix |categories=Category:Abstract Interpretation Category:Semantics Category:Data Science Category:Lattice[[Category:Poset]...") |
|||
Line 10: | Line 10: | ||
<noinclude> | <noinclude> | ||
Please also take a look at [[]]<ref>{{:Book/Principle of Abstract Interpretation}}</ref>. | Please also take a look at [[Book/Principle of Abstract Interpretation|Principle of Abstract Interpretation]]<ref>{{:Book/Principle of Abstract Interpretation}}</ref>. | ||
{{PagePostfix | {{PagePostfix |
Revision as of 05:02, 13 January 2023
K. Denecke, ed. (2004). Galois Connections and Applications. local page: Kluwer Academic Publishing.
Please also take a look at Principle of Abstract Interpretation[1].
References
- ↑ Cousot, Patrick (Sep 2021). Principles of Abstract Interpretation. local page: ACM Press.
Related Pages
Author:K. Denecke