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]...") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
|editor-link=K. Denecke | |editor-link=K. Denecke | ||
|title=Galois Connections and Applications | |title=Galois Connections and Applications | ||
|url= | |url=https://link.springer.com/book/10.1007/978-1-4020-1898-5 | ||
|publisher=Kluwer Academic Publishing | |publisher=Kluwer Academic Publishing | ||
|isbn=978-1-4020-1898-5 | |||
|location=[[Book/Galois Connections and Applications|local page]] | |location=[[Book/Galois Connections and Applications|local page]] | ||
|date=2004 | |date=2004 | ||
| Line 10: | Line 11: | ||
<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 | ||
| | |category_csd=Abstract Interpretation,Galois Connections,Semantics,Data Science,Lattice,Poset | ||
|semantic_labels=Author:[[Authored by::K. Denecke]] | |semantic_labels=Author:[[Authored by::K. Denecke]] | ||
}} | }} | ||
</noinclude> | </noinclude> | ||
Latest revision as of 05:06, 13 January 2023
K. Denecke, ed. (2004). Galois Connections and Applications. local page: Kluwer Academic Publishing. ISBN 978-1-4020-1898-5.
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