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 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

Efficient Graph-Theoretic Algorithms on a Linear Array with a Reconfigurable Pipelined Bus System

By Datta A.  

The Journal of Supercomputing, Vol. 23, Iss. 2, 2002-09 ,pp. : 193-211

Springer Publishing Company

Access to resources Recommend Favorite

Towards a semantics of proofs for non-commutative logic: multiplicatives and additives

By Abrusci V.M.  

Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. : 335-351

Elsevier

Access to resources Recommend Favorite

A Graph-theoretic approach to Expert-system Testing

By Hura G.S.   Srikanthan T.  

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 5, 1995-10 ,pp. : 539-547

Elsevier

Access to resources Recommend Favorite