Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

LICS
2002
IEEE

favoriteEmaildiscussreport

85views Automated Reasoning» more LICS 2002»

Domain Theory and Differential Calculus (Functions of one Variable)

13 years 9 months ago

Domain Theory and Differential Calculus (Functions of one Variable)

Download eprints.imperial.ac.uk

Abbas Edalat, André Lieutier

Real-time Traffic

Automated Reasoning | LICS 2002 |

claim paper

Related Content

» A Computational Model for Multivariable Differential Calculus

» Inverse and Implicit Functions in Domain Theory

» Discrete Random Variables over Domains

» Mathematical Models of Computational and Combinatorial Structures

» Dual Formulations of Mixed Finite Element Methods

» Conjugate Lyapunov functions for saturated linear systems

» Building a Calculus of Data Structures

» Analyzing recursive programs using a fixedpoint calculus

» Positive higherorder queries

Post Info
More Details (n/a)

Added	15 Jul 2010
Updated	15 Jul 2010
Type	Conference
Year	2002
Where	LICS
Authors	Abbas Edalat, André Lieutier

Comments (0)