<--- Back to Details
First PageDocument Content
Theoretical computer science / Computability theory / Process calculi / -calculus / Lambda calculus / Process calculus / Integration by substitution / Limit of a function / Substitution / Heat equation / Join-pattern
Date: 2002-09-03 06:29:14
Theoretical computer science
Computability theory
Process calculi
-calculus
Lambda calculus
Process calculus
Integration by substitution
Limit of a function
Substitution
Heat equation
Join-pattern

The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2

Add to Reading List

Source URL: www.wischik.com

Download Document from Source Website

File Size: 155,32 KB

Share Document on Facebook

Similar Documents

Absolute and essential spectra The linear heat equation ut = uxx + 2ux + au with transport provides a nice illustration of the various concepts involved in predicting absolute and convective instabilities. Consider this

Absolute and essential spectra The linear heat equation ut = uxx + 2ux + au with transport provides a nice illustration of the various concepts involved in predicting absolute and convective instabilities. Consider this

DocID: 1upA4 - View Document

MIMS Technical Report No)  Heat convection equation with nonhomogeneous boundary condition Hiroko MORIMOTO Abstract.

MIMS Technical Report No) Heat convection equation with nonhomogeneous boundary condition Hiroko MORIMOTO Abstract.

DocID: 1rJd5 - View Document

RESEARCH ON ORDINARY DIFFERENTIAL EQUATION AND FRACTIONAL DIFFERENTIAL EQUATION QU HAIDONG and LIU XUAN Department of Mathematics and Statistics

RESEARCH ON ORDINARY DIFFERENTIAL EQUATION AND FRACTIONAL DIFFERENTIAL EQUATION QU HAIDONG and LIU XUAN Department of Mathematics and Statistics

DocID: 1rstj - View Document

235  Documenta Math. Laplace Transform Representations and Paley–Wiener Theorems

235 Documenta Math. Laplace Transform Representations and Paley–Wiener Theorems

DocID: 1rqC6 - View Document

U:MDLPDE•5-ISSUESLPDE-40(5)LPDE992533FORONLINE.DVI

U:MDLPDE•5-ISSUESLPDE-40(5)LPDE992533FORONLINE.DVI

DocID: 1roJ3 - View Document