Sciweavers

713 search results - page 9 / 143
» Saving Space by Algebraization
Sort
View
CALCO
2007
Springer
98views Mathematics» more  CALCO 2007»
15 years 4 months ago
Nabla Algebras and Chu Spaces
Alessandra Palmigiano, Yde Venema
AMAST
2004
Springer
15 years 1 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe
CCE
2004
14 years 9 months ago
A novel partial differential algebraic equation (PDAE) solver: iterative space-time conservation element/solution element (CE/SE
For solving partial differential algebraic equations (PDAEs), the space
Young-Il Lim, Sin-Chung Chang, Sten Bay Jør...