Author： Pliuškevi SRC="/iso-ents/isolat2/ccaron-s.gif" ALT="ccaron" R.
Publisher： Springer Publishing Company
ISSN： 0363-1672
Source： Lithuanian Mathematical Journal, Vol.41, Iss.3, 2001-07, pp. : 266-281
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 Pliuškevi SRC="/iso-ents/isolat2/ccaron-s.gif" ALT="ccaron" R.
Lithuanian Mathematical Journal, Vol. 40, Iss. 4, 2000-10 ,pp. :
Access to resources
Recommend
![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}
By Pliuškevi SRC="/iso-ents/isolat2/ccaron-s.gif" ALT="ccaron" R.
Lithuanian Mathematical Journal, Vol. 41, Iss. 4, 2001-10 ,pp. :
First-Order Logic with Two Variables and Unary Temporal Logic
By Etessami K. Vardi M.Y. Wilke T.
Information and Computation, Vol. 179, Iss. 2, 2002-12 ,pp. :
Glivenko Classes of Sequents for Temporal Logic with Time Gaps
By Alonderis R.
Lithuanian Mathematical Journal, Vol. 42, Iss. 3, 2002-07 ,pp. :