Author: Pratt V.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.294, Iss.3, 2003-02, pp. : 439-471
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
Rewriting Logic as a Logical and Semantic Framework
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :