The Undecidability of Second Order Multiplicative Linear Logic

Author： Lafont Y.   Scedrov A.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.125, Iss.1, 1996-02, pp. : 46-51

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

The Undecidability of the First-Order Theories of One Step Rewriting in Linear Canonical Systems

By Vorobyov S.  

Information and Computation, Vol. 175, Iss. 2, 2002-06 ,pp. : 182-213

Academic Press

Access to resources Recommend Favorite

A Restricted Second Order Logic for Finite Structures

By Dawar A.  

Information and Computation, Vol. 143, Iss. 2, 1998-06 ,pp. : 154-174

Academic Press

Access to resources Recommend Favorite

Oscillation and Nonoscillation Criteria for a Second Order Linear Equation

By Chantladze T.  

Georgian Mathematical Journal, Vol. 06, Iss. 5, 1999-09 ,pp. : 401-414

Springer Publishing Company

Access to resources Recommend Favorite

Conjugacy of half-linear second-order differential equations

By Došlý O.   Elbert A.  

Proceedings Section A: Mathematics - Royal Society of Edinburgh, Vol. 130, Iss. 3, 2000-06 ,pp. : 517-525

Royal Society of Edinburgh

Access to resources Recommend Favorite

On a Non‐linear Differential Equation of the Second Order

By  

STUDIES IN APPLIED MATHEMATICS, Vol. 22, Iss. 1, 1943-04 ,pp. : 181-187

John Wiley & Sons Inc

Access to resources Recommend Favorite