Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan† - Spectra Logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan† Add to Reading List Document Date: 2014-07-02 10:40:42 Open Document File Size: 435,94 KB Share Result on Facebook Currency pence / / / Facility University of Warsaw / Transnational University of Limburg / / Organization University of Warsaw / University of Limburg / / Person Tony Tan / / Product Pentax K-x Digital Camera / / ProvinceOrState Nebraska / / Technology RAM / / SocialTag Model theory Formal languages Metalogic First-order logic Interpretation Witness Function Presburger arithmetic Well-formed formula Logic

Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan†Add to Reading List