Albert Atserias. Computational aspects of first-order logic on finite structures. Master's thesis, University of California, Santa Cruz, Department of Computer Science, March 1999. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Arithmetic, First-Order Logic, and Counting Quantifiers - Schweikardt (2002) (Correct)
No context found.
Albert Atserias. Computational aspects of first-order logic on finite structures. Master's thesis, University of California, Santa Cruz, Department of Computer Science, March 1999.
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