Difference between revisions of "Book/Galois Connections and Applications"
Jump to navigation
Jump to search
| Line 5: | Line 5: | ||
|url=https://link.springer.com/book/10.1007/978-1-4020-1898-5 | |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 | ||
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