Author： Pitts A.M.
Publisher： Elsevier
ISSN： 0890-5401
Source： Information and Computation, Vol.186, Iss.2, 2003-11, pp. : 165-193
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
First-order logic - The unity of fuzziness and randomness
Fuzzy Sets and Systems, Vol. 93, Iss. 2, 1998-01 ,pp. :
Access to resources
Recommend
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. :
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. :