Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic

By Polakow J.   Pfenning F.  

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-18

Elsevier

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

The Ideal Membership Problem in Non-Commutative Polynomial Rings

By Pritchard F.L.E.O.N.  

Journal of Symbolic Computation, Vol. 22, Iss. 1, 1996-01 ,pp. : 27-48

Academic Press

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

SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs

By Yamasaki S.  

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 283-303

Elsevier

Access to resources Recommend Favorite