Back to Results
First PageMeta Content
Mathematics / Order theory / Algebra / Abstract algebra / Abstract interpretation / Galois connection / Fixed-point theorem / Fixed point / FO / Complete lattice / Lattice / Monotonic function


Abstract Interpretation, Reloaded Jan Midtgaard Winter School, Day 3 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015
Add to Reading List

Document Date: 2015-02-04 08:44:50


Open Document

File Size: 170,07 KB

Share Result on Facebook
UPDATE