Behavioural Differential Equations and Coinduction for Binary Trees

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_23 ◽

2007 ◽

pp. 322-336 ◽

Cited By ~ 4

Author(s):

Alexandra Silva ◽

Jan Rutten

Keyword(s):

Differential Equations ◽

Binary Trees

Download Full-text

Partial Differential Equations

10.1017/9781108839808 ◽

2020 ◽

Author(s):

A. K. Nandakumaran ◽

P. S. Datti

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Partial Differential

Download Full-text

Perturbation of the Boundary in Boundary-Value Problems of Partial Differential Equations

10.1017/cbo9780511546730 ◽

2005 ◽

Cited By ~ 54

Author(s):

Dan Henry

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Boundary Value Problems ◽

Boundary Value ◽

Partial Differential

Download Full-text

Computer Algebra and Differential Equations

10.1017/cbo9780511565816 ◽

1994 ◽

Cited By ~ 2

Keyword(s):

Differential Equations ◽

Computer Algebra

Download Full-text

p-adic Differential Equations

10.1017/cbo9780511750922 ◽

2009 ◽

Cited By ~ 38

Author(s):

Kiran S. Kedlaya

Keyword(s):

Differential Equations

Download Full-text

Partial Differential Equations in Fluid Dynamics

10.1017/cbo9780511754654 ◽

2008 ◽

Cited By ~ 4

Author(s):

Isom H. Herron ◽

Michael R. Foster

Keyword(s):

Fluid Dynamics ◽

Partial Differential Equations ◽

Differential Equations ◽

Partial Differential

Download Full-text

Differential Equations for Engineers

10.1017/cbo9780511761683 ◽

2009 ◽

Cited By ~ 4

Author(s):

Wei-Chau Xie

Keyword(s):

Differential Equations

Download Full-text

A First Course in the Numerical Analysis of Differential Equations

10.1017/cbo9780511995569 ◽

2008 ◽

Cited By ~ 94

Author(s):

Arieh Iserles

Keyword(s):

Numerical Analysis ◽

Differential Equations

Download Full-text

Product Integration with Application to Differential Equations

10.1017/cbo9781107340701 ◽

1984 ◽

Cited By ~ 4

Author(s):

John Day Dollard ◽

Charles N. Friedman

Keyword(s):

Differential Equations ◽

Product Integration

Download Full-text

Partial Differential Equations

10.1017/cbo9781139171755 ◽

1987 ◽

Cited By ~ 391

Author(s):

J. Wloka

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Partial Differential

Download Full-text

Dispersive Partial Differential Equations

10.1017/cbo9781316563267 ◽

2016 ◽

Cited By ~ 9

Author(s):

M. Burak Erdogan ◽

Nikolaos Tzirakis

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Partial Differential

Download Full-text