Difference between revisions of "Book/Galois Connections and Applications"

From PKC
Jump to navigation Jump to search
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
|location=[[Book/Galois Connections and Applications|local page]]
|location=[[Book/Galois Connections and Applications|local page]]
Line 13: Line 13:


{{PagePostfix
{{PagePostfix
|categories=[[Category:Abstract Interpretation]] [[Category:Semantics]] [[Category:Data Science]] [[Category:Lattice]][[Category:Poset]]
|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>

Revision as of 05:04, 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

  1. ↑ Cousot, Patrick (Sep 2021). Principles of Abstract Interpretation. local page: ACM Press. 

Related Pages

Author:K. Denecke


Retrieved from "https://pkc.pub/index.php?title=Book/Galois_Connections_and_Applications&oldid=37694"