A constructive approach to state description semantics

Author： Holm R.  

Publisher： Elsevier

ISSN： 1570-8683

Source： Journal of Applied Logic, Vol.1, Iss.1, 2003-02, pp. : 13-46

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

Explicit Provability and Constructive Semantics

By  

Bulletin of Symbolic Logic, Vol. 7, Iss. 1, 2001-03 ,pp. : 1-36

Cambridge University Press

Access to resources Recommend Favorite

A Constructive Approach to Traveling Waves in Chemotaxis

By Horstmann D.   Stevens A.  

Journal of Nonlinear Science, Vol. 14, Iss. 1, 2004-01 ,pp. : 1-25

Springer Publishing Company

Access to resources Recommend Favorite

A Constructive Approach to Generalized Integral Transforms

By Baptiste F.   Lamb W.   McGhee D.F.  

Journal of Mathematical Analysis and Applications, Vol. 203, Iss. 2, 1996-10 ,pp. : 352-368

Academic Press

Access to resources Recommend Favorite

A new approach to semantics – Part I

By  

The Journal of Symbolic Logic, Vol. 21, Iss. 1, 1956-03 ,pp. : 1-27

Cambridge University Press

Access to resources Recommend Favorite

Lagrangian controllability of inviscid incompressible fluids: a constructive approach∗

By Horsin Thierry   Kavian Otared  

ESAIM: Control, Optimisation and Calculus of Variations, Vol. 23, Iss. 3, 2017-05 ,pp. : 1179-1200

Edp Sciences

Access to resources Recommend Favorite