Encoding Hamiltonian circuits into multiplicative linear logic

Author： Krantz T.   Mogbil V.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.266, Iss.1, 2001-09, pp. : 987-996

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

A Matrix Characterization for Multiplicative Exponential Linear Logic

By Kreitz Christoph   Mantel Heiko  

Journal of Automated Reasoning, Vol. 32, Iss. 2, 2004-02 ,pp. : 121-166

Springer Publishing Company

Access to resources Recommend Favorite

A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic

By Nagayama M.   Okada M.  

Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. : 551-573

Elsevier

Access to resources Recommend Favorite

Proofs as computations in linear logic

By Delzanno G.   Martelli M.  

Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. : 269-297

Elsevier

Access to resources Recommend Favorite

Operational interpretations of linear logic

By Turner D.N.   Wadler P.  

Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. : 231-248

Elsevier

Access to resources Recommend Favorite

Interaction nets for linear logic

By Mackie I.  

Theoretical Computer Science, Vol. 247, Iss. 1, 2000-09 ,pp. : 83-140

Elsevier

Access to resources Recommend Favorite