Author： Thiagarajan P.S. Walukiewicz I.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.179, Iss.2, 2002-12, pp. : 230-249
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
Access to resources
Recommend
Branching-Time Temporal Logic and Tree Automata
Information and Computation, Vol. 125, Iss. 1, 1996-02 ,pp. :
Glivenko Classes of Sequents for Temporal Logic with Time Gaps
By Alonderis R.
Lithuanian Mathematical Journal, Vol. 42, Iss. 3, 2002-07 ,pp. :
By Pliuškevi SRC="/iso-ents/isolat2/ccaron-s.gif" ALT="ccaron" R.
![SRC="/iso-ents/isolat2/ccaron-s.gif" ALT="ccaron" R.](/index/search?type=2&isAccurate=1&searchValue="SRC="/iso-ents/isolat2/ccaron-s.gif" ALT="ccaron" R."){kind=link}
Lithuanian Mathematical Journal, Vol. 41, Iss. 4, 2001-10 ,pp. :