Dawar, A. (1999). Finite models and finitely many variables. In Niwinski, D. and Maron, R., editors, Logic, Algebra and Computer Science, volume 46 of Banach Center Publications, pages 93--117. Polish Academy of Sciences. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Logic in the Finite - Weinstein (Correct)
No context found.
Dawar, A. (1999). Finite models and finitely many variables. In Niwinski, D. and Maron, R., editors, Logic, Algebra and Computer Science, volume 46 of Banach Center Publications, pages 93--117. Polish Academy of Sciences.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC