Author: Kuich W.
Publisher: Academic Press
ISSN: 0890-5401
Source: Information and Computation, Vol.165, Iss.1, 2001-02, pp. : 69-99
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
By Naimi Ramin
Mathematics Magazine, Vol. 79, Iss. 5, 2006-12 ,pp. :
Branching-Time Temporal Logic and Tree Automata
Information and Computation, Vol. 125, Iss. 1, 1996-02 ,pp. :
By Chin Alex Gordon Gary MacPhee Kellie Vincent Charles
American Mathematical Monthly, Vol. 122, Iss. 5, 2015-05 ,pp. :