Principal type-schemes and condensed detachment

Publisher： Cambridge University Press

E-ISSN： 1943-5886|55|1|90-105

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.55, Iss.1, 1990-03, pp. : 90-105

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

On the Microlocal Properties of the Range of Systems of Principal Type

By Dencker Nils  

Communications in Partial Differential Equations, Vol. 38, Iss. 3, 2013-03 ,pp. : 410-454

Taylor & Francis Ltd

Access to resources Recommend Favorite

Analysis of Multiwindow Gabor-Type Schemes by Frame Methods

By Zibulski M.   Zeevi Y.Y.  

Applied and Computational Harmonic Analysis, Vol. 4, Iss. 2, 1997-04 ,pp. : 188-221

Academic Press

Access to resources Recommend Favorite

On Grothendieck–Serre’s conjecture concerning principal $G$ -bundles over reductive group schemes: I

By  

Compositio Mathematica, Vol. 151, Iss. 3, 2015-03 ,pp. : 535-567

Cambridge University Press

Access to resources Recommend Favorite

A class of time discrete schemes for a phase–field system of Penrose–Fife type

By Klein Olaf  

ESAIM: Mathematical Modelling and Numerical Analysis, Vol. 33, Iss. 6, 2010-03 ,pp. : 1261-1292

Edp Sciences

Access to resources Recommend Favorite

On Universal Osher-Type Schemes for General Nonlinear Hyperbolic Conservation Laws

By  

Communications in Computational Physics, Vol. 10, Iss. 3, 2011-09 ,pp. : 635-671

Cambridge University Press

Access to resources Recommend Favorite