Publisher： Elsevier
ISSN： 0165-0114
Source： Fuzzy Sets and Systems, Vol.93, Iss.2, 1998-01, pp. : 185-195
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
Adding For-Loops to First-Order Logic
By Neven F. Otto M. Tyszkiewicz J. van den Bussche J.
Information and Computation, Vol. 168, Iss. 2, 2001-08 ,pp. :
Access to resources
Recommend
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. :
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. :
A Constant-Space Sequential Model of Computation for First-Order Logic
By Lindell S.
Information and Computation, Vol. 143, Iss. 2, 1998-06 ,pp. :