Date: 2012-12-19 06:23:54Mathematics Metaphysics Fixed point Game theory Abstract interpretation Sequence Structure Dynamical system Model theory Series KnasterTarski theorem operator | | Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, FranceAdd to Reading ListSource URL: perso.ensta-paristech.frDownload Document from Source Website File Size: 587,71 KBShare Document on Facebook
|