Finite models and finitely many variables
Volume 46 / 1999
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.
