Author: Loreti Paola Mehrenberger Michel
Publisher: Edp Sciences
E-ISSN: 1262-3377|14|3|604-631
ISSN: 1292-8119
Source: ESAIM: Control, Optimisation and Calculus of Variations, Vol.14, Iss.3, 2007-12, pp. : 604-631
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A proof of the cut-elimination theorem in simple type theory
The Journal of Symbolic Logic, Vol. 38, Iss. 2, 1973-06 ,pp. :
An Efficient Two-Grid Scheme for the Cahn-Hilliard Equation
Communications in Computational Physics, Vol. 17, Iss. 1, 2014-11 ,pp. :