Author: Wieners Christian Wohlmuth Barbara
Publisher: Edp Sciences
E-ISSN: 1290-3841|48|5|1473-1494
ISSN: 0764-583x
Source: ESAIM: Mathematical Modelling and Numerical Analysis, Vol.48, Iss.5, 2014-08, pp. : 1473-1494
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
On first-order theories with provability operator
The Journal of Symbolic Logic, Vol. 59, Iss. 4, 1994-12 ,pp. :
By Bonnans Joseph Frédéric Hermant Audrey
ESAIM: Control, Optimisation and Calculus of Variations, Vol. 14, Iss. 4, 2008-02 ,pp. :
Remarks on identity and description in first-order axiom systems
The Journal of Symbolic Logic, Vol. 19, Iss. 1, 1954-03 ,pp. :
Smoothing solutions to initial-boundary problems for first-order hyperbolic systems
By Kmit Irina
Applicable Analysis, Vol. 90, Iss. 11, 2011-11 ,pp. :