Author： Gardner P.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.228, Iss.1, 1999-10, pp. : 77-103
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. :
Access to resources
Recommend
By Hennessy M.
Electronic Notes in Theoretical Computer Science, Vol. 16, Iss. 2, 2004-01 ,pp. :
On the implementation of concurrent calculi in net calculi: two case studies
Theoretical Computer Science, Vol. 141, Iss. 1, 1995-04 ,pp. :
On the Expressiveness of Chi, Update, and Fusion calculi
By Merro M.
Electronic Notes in Theoretical Computer Science, Vol. 16, Iss. 2, 2004-01 ,pp. :
Permutability of proofs in intuitionistic sequent calculi
Theoretical Computer Science, Vol. 212, Iss. 1, 1999-02 ,pp. :