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

Encoding Distributed Areas and Local Communication into the -Calculus

By Chothia T.   Stark I.  

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

Elsevier

Access to resources Recommend Favorite

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation

By Martinho Joana   Ravara António  

Journal of Automated Reasoning, Vol. 46, Iss. 3-4, 2011-04 ,pp. : 293-323

Springer Publishing Company

Access to resources Recommend Favorite

Bisimulations for a calculus of broadcasting systems

By Hennessy M.   Rathke J.  

Theoretical Computer Science, Vol. 200, Iss. 1, 1998-06 ,pp. : 225-260

Elsevier

Access to resources Recommend Favorite

Expressing combinatory reduction systems derivations in the rewriting calculus

By Bertolissi Clara  

LISP and Symbolic Computation, Vol. 19, Iss. 4, 2006-12 ,pp. : 345-376

Springer Publishing Company

Access to resources Recommend Favorite