Publisher: Cambridge University Press
E-ISSN: 2056-6328|99|546|464-467
ISSN: 0025-5572
Source: The Mathematical Gazette, Vol.99, Iss.546, 2015-11, pp. : 464-467
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Nesting Until and Since in Linear Temporal Logic
Theory of Computing Systems, Vol. 37, Iss. 1, 2004-01 ,pp. :