A+ CATEGORY SCIENTIFIC UNIT

Finite models and finitely many variables

Volume 46 / 1999

Anuj Dawar Banach Center Publications 46 (1999), 93-117 DOI: 10.4064/-46-1-93-117

Abstract

This paper is a survey of results on finite variable logics in finite model theory. It focusses on the common underlying techniques that unite many such results.

Authors

  • Anuj Dawar

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image